vegard / cnf-utilsLinks
Dimacs CNF utilities
☆20Updated 14 years ago
Alternatives and similar repositories for cnf-utils
Users that are interested in cnf-utils are comparing it to the libraries listed below
Sorting:
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- A research platform and active library for generalised SAT solving☆32Updated last week
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- ☆89Updated 3 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- ☆55Updated 2 weeks ago
- LibPoly is a C library for manipulating polynomials☆51Updated last month
- ☆52Updated 9 years ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Dimacs CNF utilities☆21Updated 4 months ago
- LVC verified compiler☆57Updated 6 years ago
- The Delphin Project☆10Updated 8 years ago
- ☆88Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- ALLVM Tools☆56Updated 3 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆16Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆32Updated 5 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated this week
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated 2 years ago
- ☆28Updated 2 months ago
- Lace - implementation of work-stealing in C☆37Updated last year