Logician

Constraint solver

A logic programming library for Swift that uses constraints to solve problems

Logic programming in Swift

GitHub
195 stars
13 watching
10 forks
Language: Swift
last commit: over 4 years ago
Linked from 1 awesome list

constraintskanrenlogic-programmingsolverswift

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
triska/clpz A system for solving problems with logical rules and integer arithmetic constraints 185
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 404
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 for using the Julia Convex.jl package for Disciplined Convex Programming (DCP) optimization. 14
qpsolvers/qpsolvers A unified Python API for solving convex quadratic programs with various optimization solvers. 601
danielsdeleo/decider A flexible and extensible machine learning library for Ruby 385