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 |
---|---|---|
| A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms. | 220 |
| A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
| A system for solving problems with logical rules and integer arithmetic constraints | 189 |
| A logic programming library for Swift that uses constraints to solve problems | 195 |
| Provides an efficient way to traverse and modify nested data structures in Elixir. | 19 |
| A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
| A linear constraint solver implemented in Swift | 111 |
| A comprehensive Elixir library for performing 2D and 3D vector and matrix operations. | 83 |
| A library that solves exact cover problems using the Dancing Links algorithm | 50 |
| A toolbox for building efficient first-order solvers for convex optimization problems | 136 |
| A no-nonsense library for interacting with Elasticsearch from Elixir | 422 |
| A library for mapping constraints to low-dimensional optimization problems | 19 |
| A tool for solving Advent of Code puzzles in Ruby | 10 |
| A library that simplifies Autolayout constraint writing in iOS development | 25 |
| A numerical library for OCaml providing tools for linear expressions and optimization | 8 |