Popularity
6.3
Growing
Activity
0.0
Stable
14
4
3
Monthly Downloads: 23
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Algorithms
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.
-
arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences -
toysolver
My sandbox for experimenting with solver algorithms. -
aeson-diff
Generate and apply diffs between JSON documents. -
search-algorithms
Haskell library containing common graph search algorithms -
union-find
Efficient union and equivalence testing of sets. -
presburger
Decision procedures for Presburger arithmetic in Haskell -
imj-animation
Monorepo for a multi-player game engine, and game examples -
text-metrics
Calculate various string metrics efficiently in Haskell -
lca
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing -
treeviz
Haskell library for visualizing algorithmic decomposition of computations. -
integer-logarithms
Integer logarithms, originally split from arithmoi package -
GraphSCC
Tarjan's algorithm for computing strongly connected components -
graph-generators
A Haskell library for creating random Data.Graph instances using several pop -
infinite-search
An implementation of Martin Escardo's exhaustively searchable sets in Haskell. -
union-find-array
ST based union find data structure -
nonlinear-optimization-ad
Several Haskell packages for numerical optimizations. -
primesieve
A collection of packages related to math, algorithms and science, in Haskell. -
edit-distance-vector
Calculate edit scripts and distances between Vectors. -
adp-multi
Prototype of ADP for MCFL (multiple context-free languages) -
edit-distance-linear
Levenshtein edit distance in linear memory (also turns out to be faster than C++) -
fibonacci
Fast computation of Fibonacci numbers in Haskell -
dgim
:chart_with_upwards_trend: Implementation of the DGIM algorithm in Haskell. -
stable-marriage
library around stable marriage algorithms -
MIP
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell -
epanet-haskell
Call the EPANET toolkit via Haskell's Foreign Function Interface
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Promo
www.influxdata.com
* 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?