|
Julia |
4 |
Julia wrapper for the DSDP semidefinite programming solver |
Apr 30, 2022 |
|
Julia |
15 |
Julia wrapper for the BARON mixed-integer nonlinear programming solver |
Apr 30, 2022 |
|
Julia |
49 |
Julia wrapper for the HiGHS solver |
Aug 13, 2022 |
|
Julia |
71 |
Julia wrapper for the Cbc solver |
Jul 31, 2022 |
|
Julia |
139 |
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. |
May 03, 2023 |
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
Julia |
4 |
A Julia wrapper for the Concorde TSP Solver. |
May 06, 2022 |
|
Julia |
10 |
Julia Wrapper for the KLU sparse matrix solver |
Aug 11, 2022 |
|
Julia |
37 |
Julia wrapper for the ECOS conic optimization solver |
Aug 03, 2022 |
|
Julia |
2 |
Julia interface for the Quadratic Programming solver DAQP |
Aug 11, 2022 |
|
Julia |
23 |
Julia wrapper for The Z3 Theorem Prover (SMT Solver) |
Mar 19, 2022 |
|
Julia |
8 |
A Julia port of the Rhea C++ implementation of the Cassowary constraint solver |
Sep 13, 2021 |
|
Julia |
3 |
nanomsg wrapper for the Julia programming language |
Dec 05, 2017 |
|
Julia |
8 |
A Julia wrapper for the Lin-Kernighan-Helsgaun (LKH) solver. |
May 06, 2022 |
|
TypeScript |
37 |
Geometric Constraint Solver |
Apr 26, 2023 |
|
Java |
14 |
Constraint Solver ACE |
Apr 04, 2023 |
|
C++ |
3 |
Racket bindings for the Rhea constraint solver |
Mar 20, 2017 |
|
C++ |
17 |
Demo for the Simple 2D Constraint Solver. |
Aug 11, 2022 |
|
Julia |
14 |
Julia wrapper for the raylib videogames programming library |
Nov 29, 2022 |
|
Rust |
40 |
Constraint solver for word games. |
Aug 07, 2022 |
|
Julia |
6 |
A sequential quadratic programming solver in Julia |
Feb 14, 2023 |
|
Java |
43 |
Kiwi is a minimalist and extendable Constraint Programming (CP) solver. |
Jul 26, 2022 |
|
Java |
3 |
Demo OptaPlanner constraint solver |
Mar 30, 2022 |
|
Elixir |
33 |
A configurable constraint solver |
Aug 16, 2022 |
|
C# |
2 |
An incremental constraint solver for .NET |
Mar 08, 2022 |
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
Julia |
25 |
provides a Julia wrapper for the PATH Solver for solving mixed complementarity problems |
Jul 24, 2022 |
|
Julia |
2 |
Julia wrapper of ExaFMM with modifications for a vortex solver |
Feb 14, 2023 |
|
Lua |
2 |
A Constraint Solver in Lua |
May 08, 2022 |
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
Python |
2 |
Distributed Constraint Optimization Problems Solver |
Jan 17, 2024 |
|
Rust |
6 |
A fast lean and clean modern constraint programming solver implementation (in rust) |
Mar 10, 2023 |
|
Julia |
4 |
FDFD Solver for Julia |
Aug 18, 2020 |
|
SMT |
4 |
A constraint solver abstraction layer for Java |
Jul 20, 2022 |
|
Ruby |
56 |
Ruby bindings for Z3 constraint solver library |
Dec 15, 2022 |
|
QML |
52 |
Use the Cassowary constraint solver in QML applications |
Aug 19, 2022 |
|
Haskell |
2 |
SHErrLoc constraint solver and error localizer |
Apr 25, 2023 |
|
Zig |
2 |
A cassowary constraint solver in zig |
Oct 28, 2021 |
|
Scala |
3 |
A Toy Constraint Solver in Scala |
Apr 04, 2021 |
|
OCaml |
9 |
Constraint solver based on abstract interpretation |
Mar 11, 2023 |
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
Prolog |
6 |
Constraint solver for nonlinear (polynomial) constraints over reals |
May 05, 2020 |
|
Python |
2 |
A constraint-based solver for TVM Relay (WIP) |
Dec 19, 2022 |
|
Lua |
34 |
A Lua port of the cassowary constraint solver engine |
Mar 24, 2022 |
|
Julia |
12 |
JuMP extensions for constraint programming. |
Aug 07, 2022 |
|
Haskell |
3 |
Constraint Logic Programming for Haskell |
Mar 30, 2021 |
|
Python |
4 |
A python wrapper for the Answer Constraint Engine |
Aug 31, 2021 |
|
Python |
9 |
Python wrapper for a Julia solver for geodesics in the Kerr family of spacetimes. Maintainer … |
May 06, 2023 |