GitHub topics: cvc4
nunchaku-inria/nunchaku
Model finder for higher-order logic
Language: OCaml - Size: 3.98 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 44 - Forks: 3
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
Language: Scala - Size: 139 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 372 - Forks: 56
testsmt/yinyang
A fuzzing framework for SMT solvers
Language: Python - Size: 3.03 MB - Last synced at: 13 days ago - Pushed at: almost 2 years ago - Stars: 188 - Forks: 23
codersguild/Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Language: Boogie - Size: 21.9 MB - Last synced at: 27 days ago - Pushed at: about 2 years ago - Stars: 37 - Forks: 6
muraliadithya/mini-sygus
a constraint-based syntax-guided synthesis (SyGuS) engine
Language: Python - Size: 267 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0
julianthome/hands-on-solvers
Hands-on Constraint Solving: Sudoku to SAT/SMT
Language: Ruby - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1
valpackett/unshift 📦
Reverses bitwise operations using CVC4 to find individual components of bitmasks
Size: 0 Bytes - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
umangm/realsyn
Automated Controller Synthesis
Language: Python - Size: 1.55 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 13 - Forks: 5
CLC-UIowa/SySLite
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
Language: Python - Size: 26.2 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 3
mfarif/foobar
Symbolic encoding of a C program.
Language: SMT - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
