aruspex
Constraint Solver
A configurable constraint solver written in Elixir.
A configurable constraint solver
40 stars
3 watching
3 forks
Language: Elixir
last commit: over 8 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
radsz/jacop | A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms. | 220 |
lanl/nchoosek | A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
triska/clpz | A system for solving problems with logical rules and integer arithmetic constraints | 185 |
mdiep/logician | A logic programming library for Swift that uses constraints to solve problems | 195 |
dkendal/zipper_tree | Provides an efficient way to traverse and modify nested data structures in Elixir. | 19 |
ableton/aqt-cassowary | A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
tribalworldwidelondon/cassowaryswift | A linear constraint solver implemented in Swift | 111 |
crertel/graphmath | A comprehensive Elixir library for performing 2D and 3D vector and matrix operations. | 82 |
blynn/dlx | A library that solves exact cover problems using the Dancing Links algorithm | 50 |
cvxr/tfocs | A toolbox for building efficient first-order solvers for convex optimization problems | 136 |
danielberkompas/elasticsearch-elixir | A no-nonsense library for interacting with Elasticsearch from Elixir | 421 |
dwavesystems/penaltymodel | A library for mapping constraints to low-dimensional optimization problems | 19 |
keirua/aoc-cli | A tool for solving Advent of Code puzzles in Ruby | 10 |
alexliubj/ezanchor | A library that simplifies Autolayout constraint writing in iOS development | 25 |
cheshire/onumerical | A numerical library for OCaml providing tools for linear expressions and optimization | 8 |