incremental-sat-solver alternatives and similar packages

Based on the "Algorithms" category.
Alternatively, view incremental-sat-solver alternatives based on common mentions on social networks and blogs.

• build

  9.6 3.1 incremental-sat-solver VS build

  Build Systems à la Carte
  

• arithmoi

  9.5 6.7 incremental-sat-solver VS arithmoi

  Number theory: primes, arithmetic functions, modular computations, special sequences
  

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com



• toysolver

  9.3 9.6 incremental-sat-solver VS toysolver

  My sandbox for experimenting with solver algorithms.
  

• ersatz

  8.9 4.9 incremental-sat-solver VS ersatz

  A monad for interfacing with external SAT solvers
  

• iproute

  8.9 5.5 incremental-sat-solver VS iproute

  IP Routing Table in Haskell
  

• aeson-diff

  8.5 0.0 incremental-sat-solver VS aeson-diff

  Generate and apply diffs between JSON documents.
  

• graphs

  8.2 4.5 incremental-sat-solver VS graphs

  a monadic graph library
  

• primes

  8.1 0.0 incremental-sat-solver VS primes

  Prime Numbers for Haskell
  

• funsat

  8.1 0.0 incremental-sat-solver VS funsat

  An efficient, embeddable DPLL SAT solver in Haskell
  

• search-algorithms

  8.0 3.1 incremental-sat-solver VS search-algorithms

  Haskell library containing common graph search algorithms
  

• union-find

  7.9 0.0 incremental-sat-solver VS union-find

  DISCONTINUED. Efficient union and equivalence testing of sets.

• HMM

  7.9 0.0 incremental-sat-solver VS HMM

  hidden markov models in haskell
  

• presburger

  7.9 2.1 incremental-sat-solver VS presburger

  Decision procedures for Presburger arithmetic in Haskell
  

• text-metrics

  7.8 4.7 incremental-sat-solver VS text-metrics

  Calculate various string metrics efficiently in Haskell
  

• imj-animation

  7.7 0.0 incremental-sat-solver VS imj-animation

  Monorepo for a multi-player game engine, and game examples
  

• ADPfusion

  7.5 5.1 incremental-sat-solver VS ADPfusion

  Efficient, high-level dynamic programming
  

• lca

  7.5 2.1 incremental-sat-solver VS lca

  Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
  

• Adaptive

  6.8 0.0 incremental-sat-solver VS Adaptive

  Library for incremental computing.
  

• dtw

  6.7 0.0 incremental-sat-solver VS dtw

  Implementation of Dynamic Time Warping in Haskell
  

• edit-distance

  6.2 0.0 incremental-sat-solver VS edit-distance

  Edit distance library for Haskell
  

• treeviz

  6.2 0.0 incremental-sat-solver VS treeviz

  Haskell library for visualizing algorithmic decomposition of computations.
  

• qchas

  6.1 0.0 incremental-sat-solver VS qchas

  DISCONTINUED. A library for implementing Quantum Algorithms

• ListTree

  6.1 0.0 incremental-sat-solver VS ListTree

  A List monad transformer and related tools
  

• integer-logarithms

  5.9 3.8 incremental-sat-solver VS integer-logarithms

  Integer logarithms, originally split from arithmoi package
  

• binary-search

  5.9 0.0 incremental-sat-solver VS binary-search

  Binary and exponential searches
  

• cmaes

  5.7 0.0 L1 incremental-sat-solver VS cmaes

  CMA-ES wrapper in Haskell
  

• twentyseven

  5.6 6.4 incremental-sat-solver VS twentyseven

  Rubik's cube solver in Haskell
  

• sgd

  5.6 0.0 incremental-sat-solver VS sgd

  Stochastic gradient descent Haskell library
  

• primal

  5.4 0.0 incremental-sat-solver VS primal

  Primitive World of Haskell
  

• primesieve

  5.3 2.7 incremental-sat-solver VS primesieve

  A collection of packages related to math, algorithms and science, in Haskell.
  

• GraphSCC

  5.0 0.0 incremental-sat-solver VS GraphSCC

  Tarjan's algorithm for computing strongly connected components
  

• DP

  4.8 0.0 incremental-sat-solver VS DP

  Holder for a bunch of semirings used in ChartParsing
  

• jps

  4.6 0.0 incremental-sat-solver VS jps

  :point_right: jump point search for Haskell
  

• union-find-array

  4.5 3.2 incremental-sat-solver VS union-find-array

  ST based union find data structure
  

• infinite-search

  4.4 0.0 incremental-sat-solver VS infinite-search

  An implementation of Martin Escardo's exhaustively searchable sets in Haskell.
  

• graph-generators

  4.4 0.0 incremental-sat-solver VS graph-generators

  A Haskell library for creating random Data.Graph instances using several pop
  

• nonlinear-optimization-ad

  4.2 6.7 incremental-sat-solver VS nonlinear-optimization-ad

  Several Haskell packages for numerical optimizations.
  

• adp-multi

  4.2 0.0 incremental-sat-solver VS adp-multi

  Prototype of ADP for MCFL (multiple context-free languages)
  

• TrieMap

  3.9 0.0 incremental-sat-solver VS TrieMap

  Generalized tries for Haskell
  

• pathfinding

  3.7 0.0 incremental-sat-solver VS pathfinding

  DISCONTINUED. Haskell pathfinding library

• KMP

  3.7 0.0 incremental-sat-solver VS KMP

  Knuth–Morris–Pratt string searching algorithm
  

• spacefill

  3.7 0.0 incremental-sat-solver VS spacefill

  Space-filling curves
  

• edit-distance-vector

  3.6 0.0 incremental-sat-solver VS edit-distance-vector

  Calculate edit scripts and distances between Vectors.
  

• MIP

  3.4 9.2 incremental-sat-solver VS MIP

  Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
  

• edit-distance-linear

  3.2 0.0 incremental-sat-solver VS edit-distance-linear

  Levenshtein edit distance in linear memory (also turns out to be faster than C++)
  

• stable-marriage

  2.9 1.1 incremental-sat-solver VS stable-marriage

  library around stable marriage algorithms
  

• fibonacci

  2.9 0.0 incremental-sat-solver VS fibonacci

  Fast computation of Fibonacci numbers in Haskell
  

• dgim

  2.9 0.0 incremental-sat-solver VS dgim

  :chart_with_upwards_trend: Implementation of the DGIM algorithm in Haskell.
  

• integer-roots

  2.9 4.7 incremental-sat-solver VS integer-roots

  Integer roots and perfect powers of arbitrary precision
  

• pell

  2.6 0.0 incremental-sat-solver VS pell

  Haskell Package to solve the Generalized Pell Equation
  

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of incremental-sat-solver or a related project?

Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.

featured getstream.io

Popular Comparisons

• incremental-sat-solver
  vs
  infinite-search
• incremental-sat-solver
  vs
  pathfinding
• incremental-sat-solver
  vs
  primes
• incremental-sat-solver
  vs
  graph-generators
• incremental-sat-solver
  vs
  arithmoi

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com