Packages tagged symbolic-computation

13 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (13), formal-methods (10), smt (8), theorem-provers (8), bsd3 (5), gpl (5), math (4), ffi (3), mit (3), program (3), asp (1), bit-vectors (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
clingo150.0Haskell bindings to the Clingo ASP solver (asp, ffi, library, logic-programming, mit, symbolic-computation)2017-08-18tsahyt
g260.0Haskell symbolic execution engine. (bsd3, formal-methods, library, program, symbolic-computation)2019-06-30WilliamHallahan
g2q30.0G2Q allows constraint programming, via writing Haskell predicates. (bsd3, formal-methods, library, symbolic-computation)2019-06-30WilliamHallahan
sbv4062.75SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2020-09-04LeventErkok
sbvPlugin220.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2020-09-05LeventErkok
smtlib2112.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-debug30.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-pipe30.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-quickcheck40.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-06HenningGuenther
smtlib2-timing30.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-07HenningGuenther
symengine50.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-10bollu
symengine-hs40.0SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-05bollu
what41042.25Solver-agnostic symbolic values support for issuing queries (bsd3, formal-methods, library, program, smt, symbolic-computation, theorem-provers)2020-07-22RobertDockins