-
exp-smt-lib Public
proposal for an extension of SMT-LIB with integer exponentiation
TeX UpdatedSep 28, 2025 -
-
-
QF_EIA Public
benchmarks for SMT modulo exponential integer arithmetic
-
-
-
-
-
smt-switch Public
Forked from stanford-centaur/smt-switchA generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C++ Other UpdatedDec 12, 2023 -
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedSep 26, 2023 -
-
-
qepcad Public
Forked from PetterS/qepcadQuantifier Elimination by Partial Cylindrical Algebraic Decomposition
C UpdatedJul 11, 2022 -
-
-
antlr-haskell Public
Forked from cronburg/antlr-haskellA language parsing quasiquoter for Haskell based heavily on ANTLR4.
Haskell Other UpdatedJan 16, 2021 -
-
-
-
latexrun Public
Forked from aclements/latexrunA 21st century LaTeX wrapper
Python MIT License UpdatedJan 12, 2018 -
star-exec-presenter Public
Forked from jwaldmann/star-exec-presenterpresentation platform for star-exec written in Haskell and based upon Yesod
Haskell UpdatedAug 22, 2017 -
{{ message }}