aruspex

Constraint Solver

A configurable constraint solver written in Elixir.

A configurable constraint solver

GitHub

40 stars
3 watching
3 forks
Language: Elixir
last commit: over 8 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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