AleksandarZeljic

Pinned Repositories

aleksandarzeljic.github.io
00
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
Marabou
Language:C++10
OutofdateMarabou
Language:C++0 14 00
z3
SmallFloats
Language:C++2 2 00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1.1k 37 2.6k245
Marabou
Language:C++277 27 27495
uppsat
An approximating SMT solver
Language:Scala8 5 34
z3
The Z3 Theorem Prover
Language:C++10.8k 180 5.6k1.5k

AleksandarZeljic's Repositories

AleksandarZeljic/z3
SmallFloats
Language:C++2 2 00
AleksandarZeljic/Marabou
Language:C++10
AleksandarZeljic/aleksandarzeljic.github.io
00
AleksandarZeljic/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
AleksandarZeljic/OutofdateMarabou
Language:C++0 14 00