close
The Wayback Machine - https://web.archive.org/web/20160323231050/https://github.com/trending/smt
Skip to content
Learn more
Please note that GitHub no longer supports Internet Explorer versions 7 or 8.

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

If you are using IE 11, make sure you turn off "Compatibility View".

Explore GitHub

Trending in open source

See what the GitHub community is most excited about today.

  1. Star

    CVC4 / CVC4

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

    SMT • Built by @mdeters @ajreynol @timothy-king @kbansal @tiliang

  2. Star

    pysmt / pysmt

    pySMT: A library for SMT formulae manipulation and solving

    SMT • Built by @marcogario @mikand

  3. Star

    eclsnowman / Eustathios-Spider-V2

    Update to Eustathios with a little bit of HercuLien Design Changes

    SMT • Built by @eclsnowman @walterhsiao @WheresWaldo @megalithic

  4. Star

    Paradoxika / Skeptik

    A library for Proof Theory (especially Proof Compression) in Scala.

    SMT • Built by @Ceilican @Jogo27 @AFellner @newca12 @EzequielPostan

  5. Star

    dreal / dreal

    Old version of dReal. Please check dreal3 instead.

    SMT • Built by @soonhokong @scungao @danbryce @liubing1020 @shmarovfedor

  6. Star

    regb / scala-smtlib

    SMT-LIB format library for Scala

    SMT • Built by @regb @colder @manoskouk @ahmadsalim @samarion

  7. Star

    regb / cafesat

    The CafeSat SMT solver for Scala

    SMT • Built by @regb

  8. Star

    dreal / dreal3

    New version of the dReal solver. More info at

    SMT • Built by @soonhokong @scungao @danbryce @liubing1020 @kquine

  9. Star

    tiliang / CVC4

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

    SMT • Built by @mdeters @ajreynol @timothy-king @kbansal @tiliang

  10. Star

    marcelosousa / smtlib

    SMT-Lib v2 Tools for Haskell and Agda

    SMT • Built by @marcelosousa

  11. Star

    tip-org / benchmarks

    Tons of Inductive Problems: The Benchmarks

    SMT • Built by @danr @nick8325 @Airini

  12. Star

    Z3Prover / z3test

    Test and benchmark repository for Z3.

    SMT • Built by @wintersteiger @leodemoura @NikolajBjorner @4tXJ7f

  13. Star

    csbl / platereader

    Designs for a miniaturized plate reader for high-throughput phenotypic screening.

    SMT • Built by @pauljensen @kevinseitter

  14. Star

    mihasighi / smtcomp14-sl

    Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014

    SMT • Built by @mihasighi @ngorogiannis @chinwn

  15. Star

    ahorn / benchmarks

    A hub for sharing ideas on planning, executing and evaluating benchmarks.

    SMT • Built by @ahorn @lihaol

  16. Star

    mechtaev / maxsmt-playground

    Collection of MaxSMT solvers

    SMT • Built by @mechtaev @stan6

  17. Star

    coco-team / benchmarks

    SMT • Built by @lememta

  18. Star

    qsphan / aZ3

    A solver for All-solution Satisfiabiiity Modulo Theories

    SMT • Built by @qsphan

  19. Star

    timothy-king / CVC4

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

    SMT • Built by @mdeters @ajreynol @timothy-king @kbansal @tiliang

  20. Star

    EzequielPostan / Skeptik

    A library for Proof Theory (especially Proof Compression) in Scala.

    SMT • Built by @Ceilican @Jogo27 @AFellner @newca12 @EzequielPostan

  21. Star

    realyasswl / 2IW15-Automated-Reasoning

    SMT • Built by @RamondeVaan @JasperSelman

  22. Star

    timothy-king / CVC4SepLogic

    A fork of CVC4 for developing a theory solver for separation logic.

    SMT • Built by @mdeters @ajreynol @timothy-king @tiliang @kbansal

  23. Star

    TrustworthyFactory / TestFactory

    SMT •

  24. Star

    marcelosousa / progmerge

    SMT • Built by @marcelosousa @shuvendu-lahiri @dimitriv

  25. Star

    soonhokong / dReal-osx

    DO NOT FORK - It's only for triggering OSX build

    SMT • Built by @soonhokong @scungao @danbryce @liubing1020 @shmarovfedor

ProTip! Looking for most starred SMT repositories? Try this search
Something went wrong with that request. Please try again.