Pinned Loading

1. ddSMT ddSMT Public

   Forked from ddsmt/ddSMT

   A delta debugger for SMT benchmarks in SMT-LIB v2.

   Python

2. libpoly libpoly Public

   Forked from SRI-CSL/libpoly

   LibPoly is a C library for manipulating polynomials

   C

3. doodleAlloc doodleAlloc Public

   Allocate tasks to persons from a doodle

   Python 1

4. webhooks webhooks Public

   A simple webhook endpoint

   Python

5. cvc5/cvc5 cvc5/cvc5 Public

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1.1k 239

6. cvc5/cvc5_pythonic_api cvc5/cvc5_pythonic_api Public

   A Z3Py-compatible interface to cvc5

   Python 7 10