Beast code in Giters

Hao Wu's repositories

QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.

Language:SMTNOASSERTION10 2 1

cyclone sublime package

uran: A small engine for creating formulas accepted by SMT solver.

Language:JavaMIT4 20

Examples used in tutorial.

300

VS code plugin for Cyclone

Language:JavaScript300

Language:Java2 20

Language:Java1 20

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTNOASSERTION010

Default channel file for Package Control. Follow the directions at:

Language:Python010

020