Pinned Loading

1. CycloneVSCodePlugin CycloneVSCodePlugin Public

   VS code plugin for Cyclone

   JavaScript 6 1

2. qmaxuse qmaxuse Public

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

   SMT 13 3

3. CycloneSublimePckage CycloneSublimePckage Public

   cyclone sublime package

   4

4. asmig asmig Public

   Java 1 1

5. uran uran Public

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

   Java 4 1

6. cvc5 cvc5 Public

   Forked from cvc5/cvc5

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

   SMT