Popular repositories Loading

1. proof_graph_analyzer proof_graph_analyzer Public

   C++ 3

2. Kodkod-Ints-Project Kodkod-Ints-Project Public

   Java

3. Immutable Immutable Public

   ECE750 Static Analysis Project: JavaCOP implementation for Object Initialization in an Immutable Type System.

   Java

4. mathconjectures mathconjectures Public

5. vsids vsids Public

   Forked from JLiangWaterloo/vsids

   Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"

   C++

6. simpleGIA simpleGIA Public

   Small extension with example to Rafael Olaechea's implementation of the Guided Improvement Algorithm, using Z3.

   Python