ntsis

Pinned Repositories

cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT00
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Language:C++00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT977224
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Language:C++9939
Configuration
Language:SystemVerilog10

ntsis's Repositories

ntsis/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
ntsis/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.