Popular repositories Loading

1. cs225-demo cs225-demo Public

   Forked from nikkiallen/cs225-demo

2. ocaml-exceptions ocaml-exceptions Public

   An extension of the untyped lambda calculus to catch and handle exceptions in OCamL. UVM CS 225 Final Project. Apr. 2018.

   OCaml

3. CVC4 CVC4 Public

   Forked from cvc5/cvc5

   CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

   SMT

4. py-smt-switch py-smt-switch Public

   Forked from makaimann/py-smt-switch

   Python

5. smt-switch smt-switch Public

   Forked from stanford-centaur/smt-switch

   A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

   C++