Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

toysolver alternatives and similar packages

Based on the "Algorithms" category

• arithmoi

  9.2 8.1 toysolver VS arithmoi

  Efficient basic number-theoretic functions. Primes, powers, integer logarithms.

• ersatz

  8.9 6.1 toysolver VS ersatz

  A monad for expressing SAT or QSAT problems using observable sharing.

• iproute

  8.6 1.6 toysolver VS iproute

  IP Routing Table

• graphs

  8.2 3.8 toysolver VS graphs

  A simple monadic graph library

• funsat

  8.1 0.0 toysolver VS funsat

  A modern DPLL-style SAT solver

• primes

  7.9 0.0 toysolver VS primes

  Efficient, purely functional generation of prime numbers

• HMM

  7.9 0.0 toysolver VS HMM

  A hidden markov model library

• union-find

  7.8 0.0 toysolver VS union-find

  Efficient union and equivalence testing of sets.

• aeson-diff

  7.8 2.4 toysolver VS aeson-diff

  Extract and apply patches to JSON documents.

• presburger

  7.4 0.4 toysolver VS presburger

  A decision procedure for quantifier-free linear arithmetic.

• imj-animation

  7.3 2.8 toysolver VS imj-animation

  Animation Framework

• text-metrics

  7.2 5.1 toysolver VS text-metrics

  Calculate various string metrics efficiently

• Adaptive

  7.1 0.0 toysolver VS Adaptive

  Library for incremental computing.

• edit-distance

  7.0 2.7 toysolver VS edit-distance

  Levenshtein and restricted Damerau-Levenshtein edit distances

• lca

  6.8 3.8 toysolver VS lca

  O(log n) persistent on-line lowest common ancestor calculation without preprocessing

• dtw

  6.5 0.0 toysolver VS dtw

  (Fast) Dynamic Time Warping

• treeviz

  6.3 0.0 toysolver VS treeviz

  Visualization of computation decomposition trees.

• qchas

  6.2 0.3 toysolver VS qchas

  A library for implementing Quantum Algorithms

• ADPfusion

  6.2 0.0 toysolver VS ADPfusion

  Efficient, high-level dynamic programming.

• incremental-sat-solver

  6.1 0.0 toysolver VS incremental-sat-solver

  Simple, Incremental SAT Solving as a Library

• ListTree

  5.3 0.0 toysolver VS ListTree

  Trees and monadic trees expressed as monadic lists where the underlying monad is a list

• search-algorithms

  5.0 0.0 toysolver VS search-algorithms

  Common graph search algorithms

• cmaes

  5.0 0.0 L1 toysolver VS cmaes

  CMA-ES wrapper in Haskell

• sgd

  4.8 7.0 toysolver VS sgd

  Stochastic gradient descent

• edit-distance-vector

  4.8 0.0 toysolver VS edit-distance-vector

  Calculate edit distances and edit scripts between vectors.

• integer-logarithms

  4.8 3.6 toysolver VS integer-logarithms

  Integer logarithms.

• binary-search

  4.6 0.0 toysolver VS binary-search

  Binary and exponential searches

• TrieMap

  4.3 0.0 toysolver VS TrieMap

  Automatic type inference of generalized tries with Template Haskell.

• primesieve

  4.3 1.9 toysolver VS primesieve

  FFI bindings for the primesieve library.

• union-find-array

  4.3 0.0 toysolver VS union-find-array

  union find data structure

• KMP

  4.3 0.7 toysolver VS KMP

  Knuth–Morris–Pratt string searching algorithm

• infinite-search

  4.1 0.0 toysolver VS infinite-search

  Exhaustively searchable infinite sets.

• DP

  4.1 0.0 toysolver VS DP

  Pragmatic framework for dynamic programming

• graph-generators

  4.1 0.0 toysolver VS graph-generators

  Functions for generating structured or random FGL graphs

• pathfinding

  3.8 0.0 toysolver VS pathfinding

  pathfinding in grid and graphs

• nonlinear-optimization-ad

  3.5 0.0 toysolver VS nonlinear-optimization-ad

  Wrapper of nonlinear-optimization package for using with AD package

• spacefill

  3.5 0.0 toysolver VS spacefill

  Generators for space-filling curves.

• GraphSCC

  3.1 0.0 toysolver VS GraphSCC

  Tarjan's algorithm for computing the strongly connected components of a graph.

• fibonacci

  2.9 0.0 toysolver VS fibonacci

  Fast computation of Fibonacci numbers.

• twentyseven

  2.9 0.0 toysolver VS twentyseven

  Rubik's cube solver

• epanet-haskell

  2.9 0.0 L2 toysolver VS epanet-haskell

  Haskell binding for EPANET

• pell

  2.5 0.0 toysolver VS pell

  Package to solve the Generalized Pell Equation.

• learning-hmm

  2.5 0.0 toysolver VS learning-hmm

  Yet another library for hidden Markov models

• stable-marriage

  2.5 0.0 toysolver VS stable-marriage

  algorithms around stable marriage

• dgim

  2.5 0.0 toysolver VS dgim

  Implementation of DGIM algorithm

• adp-multi

  2.1 0.0 toysolver VS adp-multi

  ADP for multiple context-free languages

• ADPfusionSet

  1.1 0.0 toysolver VS ADPfusionSet

  Dynamic programming for Set data structures.

• bordacount

  0.8 0.0 toysolver VS bordacount

  Implementation of the Borda count election method.

• kmp-dfa

  0.8 0.0 toysolver VS kmp-dfa

  KMP algorithm implementation based on Deterministic Finite State Automata

• effective-aspects-mzv

  0.8 0.0 toysolver VS effective-aspects-mzv

  A monadic embedding of aspect oriented programming, using "Monads, ...

* 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 toysolver or a related project?

Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial. More from our partner

Popular Comparisons

• toysolver
  vs
  arithmoi
• toysolver
  vs
  graph-generators
• toysolver
  vs
  ADPfusionSet
• toysolver
  vs
  lca
• toysolver
  vs
  kmp-dfa

SaaSHub - Software Alternatives and Reviews More from our team