Packages tagged symbolic-computation

18 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
clingo30.01Haskell bindings to the Clingo ASP solver (asp, ffi, library, logic-programming, mit, symbolic-computation)2017-08-180.2.0.0tsahyt
g240.01Haskell symbolic execution engine. (bsd3, formal-methods, library, program, symbolic-computation)2024-03-220.2.0.0WilliamHallahan
g2q20.00G2Q allows constraint programming, via writing Haskell predicates. (bsd3, formal-methods, library, symbolic-computation)2019-06-300.1.0.0WilliamHallahan
grisette250.01Symbolic evaluation as a library (bsd3, formal-methods, library, smt, symbolic-computation, theorem-provers)2024-12-290.11.0.0siruilu
grisette-monad-coroutine80.00Support for monad-coroutine package with Grisette (bsd3, formal-methods, library, smt, symbolic-computation, theorem-provers)2024-01-100.2.0.0siruilu
ihaskell-symtegration30.00IHaskell extension for making the use of Symtegration more seamless. (apache, development, ihaskell, integration, library, symbolic-computation)2025-02-010.1.0chungyc
sbv3312.7512SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2025-03-0811.2LeventErkok
sbv-program30.00Component-based program synthesis using SBV (bit-vectors, bsd3, formal-methods, library, smt, symbolic-computation)2023-01-261.1.0.0arrowd
sbvPlugin250.01Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2024-05-229.10.1LeventErkok
smtlib272.06A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-051.0HenningGuenther
smtlib2-debug30.01Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-051.0HenningGuenther
smtlib2-pipe20.01A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-051.0HenningGuenther
smtlib2-quickcheck20.01Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-061.0HenningGuenther
smtlib2-timing50.01Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-071.0HenningGuenther
symengine110.01SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, symbolic-computation)2016-06-100.1.2.0bollu
symengine-hs30.00SymEngine symbolic mathematics engine for Haskell (ffi, library, math, mit, program, symbolic-computation)2016-03-050.1.1.0bollu
symtegration70.00Library for symbolic integration of mathematical expressions. (apache, integration, library, mathematics, symbolic-computation)2025-01-300.6.1chungyc
what4972.258Solver-agnostic symbolic values support for issuing queries (bsd3, formal-methods, library, program, smt, symbolic-computation, theorem-provers)2025-02-261.6.3RobertDockins, ryanglscott, galoisinc, mccleeary