Logician
by mdiep
Logic programming in Swift
AI summary
Constraint solver
A logic programming library for Swift that uses constraints to solve problems
- stars
- 195
- forks
- 10
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
triska/clpz189
Constraint solver
A system for solving problems with logical rules and integer arithmetic constraints
Constraint Solver
A linear constraint solver implemented in Swift
radsz/jacop220
Constraint Solver
A Java-based solver for solving constraint satisfaction problems using a large set of constraints and modular search algorithms.
Constraint solver
A programming framework for expressing constraints across classical and quantum computing architectures
Constraint Solver
A configurable constraint solver written in Elixir.
scipopt/scip407
MIP solver
A solver for mixed integer programming and nonlinear optimization problems
Constraint helper
A library that simplifies Autolayout constraint writing in iOS development
Constraint mapper
A library for mapping constraints to low-dimensional optimization problems
Linear constraint solver plugin
A Qt plugin that allows QML applications to use incremental linear constraint solver
Constraint manager
A tool for creating and managing constraints in Swift auto-layout code
Constraint builder
A Swift library simplifying Auto Layout constraints using custom operators.
shrynx/99.re110
Problem solver library
A comprehensive collection of solutions to common problems in programming using Reason and OCaml
Convex Optimizer
An R package that provides a high-level wrapper for the Julia convex optimization library Convex.jl to solve various convex programming problems.
QP solver library
A unified Python API for solving convex quadratic programs with various optimization solvers.
ML library
A flexible and extensible machine learning library for Ruby
Featured in 1 awesome list
Each link jumps to the spot where the list mentions Logician.
