Repos
9
Stars
3
Forks
0
Top Language
C++
Loading contributions...
Top Repositories
Repository for "SAT-based Analysis of Large Real-world Feature Models is Easy"
The Z3 Theorem Prover
Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"
Repositories
9No description provided.
No description provided.
No description provided.
Repository for "SAT-based Analysis of Large Real-world Feature Models is Easy"
The Z3 Theorem Prover
Experimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"
Small extension with example to Rafael Olaechea's implementation of the Guided Improvement Algorithm, using Z3.
No description provided.
ECE750 Static Analysis Project: JavaCOP implementation for Object Initialization in an Immutable Type System.