Logician
Constraint solver
A logic programming library for Swift that uses constraints to solve problems
Logic programming in Swift
195 stars
13 watching
10 forks
Language: Swift
last commit: almost 5 years ago
Linked from 1 awesome list
constraintskanrenlogic-programmingsolverswift
uraimo/awesome-swift-playgroundsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 triska/clpz | A system for solving problems with logical rules and integer arithmetic constraints | 189 |
 tribalworldwidelondon/cassowaryswift | A linear constraint solver implemented in Swift | 111 |
 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 |
 dkendal/aruspex | A configurable constraint solver written in Elixir. | 40 |
 scipopt/scip | A solver for mixed integer programming and nonlinear optimization problems | 407 |
 alexliubj/ezanchor | A library that simplifies Autolayout constraint writing in iOS development | 25 |
 dwavesystems/penaltymodel | A library for mapping constraints to low-dimensional optimization problems | 19 |
 ableton/aqt-cassowary | A Qt plugin that allows QML applications to use incremental linear constraint solver | 54 |
 skyvive/swiftstraints | A tool for creating and managing constraints in Swift auto-layout code | 122 |
 lionheart/superlayout | A Swift library simplifying Auto Layout constraints using custom operators. | 52 |
 shrynx/99.re | A comprehensive collection of solutions to common problems in programming using Reason and OCaml | 110 |
 non-contradiction/convexjlr | An R package that provides a high-level wrapper for the Julia convex optimization library Convex.jl to solve various convex programming problems. | 14 |
 qpsolvers/qpsolvers | A unified Python API for solving convex quadratic programs with various optimization solvers. | 610 |
 danielsdeleo/decider | A flexible and extensible machine learning library for Ruby | 385 |