A theory solver for conjunctions of literals in difference logic

DifferenceLogic alternatives and similar packages

Based on the "Math" category

• subhask

  9.8 0.0 DifferenceLogic VS subhask

  Type safe interface for programming in subcategories of Hask

• hmatrix

  9.8 3.8 DifferenceLogic VS hmatrix

  Numeric Linear Algebra

• linear

  9.7 4.7 DifferenceLogic VS linear

  Linear Algebra

• statistics

  9.7 2.8 DifferenceLogic VS statistics

  A library of statistical types, data, and functions

• ad

  9.7 4.7 DifferenceLogic VS ad

  Automatic Differentiation

• vector

  9.7 5.4 DifferenceLogic VS vector

  Efficient Arrays

• HerbiePlugin

  9.4 0.0 DifferenceLogic VS HerbiePlugin

  automatically improve your code's numeric stability

• estimator

  9.1 0.0 DifferenceLogic VS estimator

  State-space estimation algorithms such as Kalman Filters

• semigroups

  9.1 5.7 DifferenceLogic VS semigroups

  Anything that associates

• units

  9.0 3.8 DifferenceLogic VS units

  A domain-specific type system for dimensional analysis

• algebra

  9.0 0.0 DifferenceLogic VS algebra

  Constructive abstract algebra

• grid

  9.0 3.2 DifferenceLogic VS grid

  Tools for working with regular grids (graphs, lattices).

• hermit

  9.0 0.0 DifferenceLogic VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel

• hblas

  8.9 0.0 DifferenceLogic VS hblas

  Human friendly BLAS and Lapack bindings for Haskell.

• computational-algebra

  8.8 6.8 DifferenceLogic VS computational-algebra

  Well-kinded computational algebra library, currently supporting Groebner basis.

• vector-space

  8.7 2.8 DifferenceLogic VS vector-space

  Vector & affine spaces, linear maps, and derivatives

• mwc-random

  8.7 0.3 DifferenceLogic VS mwc-random

  Fast, high quality pseudo random number generation

• numhask

  8.6 6.7 DifferenceLogic VS numhask

  A numeric prelude

• deeplearning-hs

  8.5 0.0 DifferenceLogic VS deeplearning-hs

  Deep Learning in Haskell

• cf

  8.4 0.0 DifferenceLogic VS cf

  Exact real arithmetic using continued fractions

• bayes-stack

  8.4 0.0 DifferenceLogic VS bayes-stack

  Framework for inferring generative probabilistic models with Gibbs sampling

• math-functions

  8.3 2.0 DifferenceLogic VS math-functions

  Special functions and Chebyshev polynomials

• monte-carlo

  8.3 0.0 DifferenceLogic VS monte-carlo

  A monad and transformer for Monte Carlo calculations.

• hgeometry

  8.3 8.8 DifferenceLogic VS hgeometry

  Geometric Algorithms, Data structures, and Data types.

• optimization

  8.2 2.5 DifferenceLogic VS optimization

  Numerical optimization

• intervals

  8.1 4.6 DifferenceLogic VS intervals

  Interval Arithmetic

• vector-sized

  7.9 6.4 DifferenceLogic VS vector-sized

  Size tagged vectors

• eigen

  7.8 0.6 L2 DifferenceLogic VS eigen

  Eigen C++ library (linear algebra

• mltool

  7.8 0.0 DifferenceLogic VS mltool

  Machine Learning Toolbox

• Decimal

  7.8 0.0 DifferenceLogic VS Decimal

  Decimal numbers with variable precision

• sbvPlugin

  7.7 6.4 DifferenceLogic VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT

• simd

  7.7 0.0 DifferenceLogic VS simd

  simple interface to GHC's SIMD instructions

• hTensor

  7.6 0.0 DifferenceLogic VS hTensor

  Multidimensional arrays and simple tensor computations.

• vector-binary-instances

  7.6 2.2 DifferenceLogic VS vector-binary-instances

  Instances of Data.Binary and Data.Serialize for vector

• manifold-random

  7.6 7.4 DifferenceLogic VS manifold-random

  Sampling random points on general manifolds.

• polynomial

  7.5 0.0 DifferenceLogic VS polynomial

  Polynomials

• equational-reasoning

  7.3 3.9 DifferenceLogic VS equational-reasoning

  Proof assistant for Haskell using DataKinds & PolyKinds

• vector-th-unbox

  7.3 0.0 DifferenceLogic VS vector-th-unbox

  Deriver for Data.Vector.Unboxed using Template Haskell

• fast-math

  7.3 0.0 DifferenceLogic VS fast-math

  Non IEEE-754 compliant compile-time floating-point optimisations

• noether

  7.2 0.0 DifferenceLogic VS noether

  Math in Haskell.

• simple-smt

  7.2 2.5 DifferenceLogic VS simple-smt

  A simple way to interact with an SMT solver process.

• monoid-subclasses

  7.2 5.6 DifferenceLogic VS monoid-subclasses

  Subclasses of Monoid

• modular-arithmetic

  7.1 2.5 DifferenceLogic VS modular-arithmetic

  A type for integers modulo some constant.

• levmar

  7.0 0.0 DifferenceLogic VS levmar

  An implementation of the Levenberg-Marquardt algorithm

• diagrams-solve

  7.0 2.6 DifferenceLogic VS diagrams-solve

  Pure Haskell solver routines used by diagrams

• uncertain

  6.9 2.1 DifferenceLogic VS uncertain

  Manipulating numbers with inherent experimental/measurement uncertainty

• vector-instances

  6.9 3.8 DifferenceLogic VS vector-instances

  Orphan Instances for 'Data.Vector'

• clifford

  6.8 0.0 DifferenceLogic VS clifford

  A Clifford algebra library

• nats

  6.8 4.5 DifferenceLogic VS nats

  Natural numbers

• arb-fft

  6.8 3.2 DifferenceLogic VS arb-fft

  Pure Haskell arbitrary length FFT library

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Do you think we are missing an alternative of DifferenceLogic or a related project?

Add another 'Math' Package

Popular Comparisons

• hmatrix
  vs
  hmatrix-repa
• hTensor
  vs
  hmatrix
• Xorshift128Plus
  vs
  monoid-subclasses
• subhask
  vs
  magma
• equational-reasoning
  vs
  continued-fractions