Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Solver Constraint Satisfaction Problem Open Source Projects

Open source projects categorized as Solver Constraint Satisfaction Problem
Categories > Constraint Satisfaction Problem
Categories > Mathematics > Solver
Choco Solver ⭐ 654
An open-source Java library for Constraint Programming
dependent packages 23total releases 34most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19most recent commit 3 months ago
Gecode ⭐ 251
Generic Constraint Development Environment
most recent commit 5 months ago
Decider ⭐ 120
An Open Source .Net Constraint Programming Solver
total releases 27most recent commit 2 years ago
Swiftcsp ⭐ 72
A Constraint Satisfaction Problem Solver in Pure Swift
total releases 9most recent commit 2 years ago
Csp.js ⭐ 54
Constraint Satisfaction Problem Solving (CSP): A Constraint solver in JavaScript
most recent commit 9 years ago
Pycsp3 ⭐ 50
A Python Library for modeling combinatorial constrained problems
most recent commit 3 months ago
Centipede ⭐ 34
Constraint Satisfaction Problem Solver for Golang
total releases 6most recent commit 2 years ago
Ghost ⭐ 33
General meta-Heuristic Optimization Solving Toolkit
most recent commit 7 months ago
Sudoku ⭐ 26
Solve a Sudoku puzzle with a quantum computer
most recent commit 6 months ago
Timetabler ⭐ 20
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
most recent commit 5 years ago
Ace ⭐ 19
Constraint Solver ACE
most recent commit 4 months ago
Csp Rules V2.1 ⭐ 13
A general pattern-based solver of finite Constraint Satisfaction problems
most recent commit 4 months ago
Cosoco ⭐ 8
COmpact SOlver for COnstrained problems
most recent commit 4 months ago
Kenken Solver ⭐ 5
KenKen puzzle solver using csp modeling
most recent commit a year ago
Sudoku Solver Csp ⭐ 5
Sudoku solver using various Constraint Satisfaction heuristics
most recent commit 11 years ago
The 2 Most Depended On Solver Constraint Satisfaction Problem Open Source Projects
Choco Solver ⭐ 654
An open-source Java library for Constraint Programming
dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
The 5 Latest Releases In Solver Constraint Satisfaction Problem Open Source Projects
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Choco Solver ⭐ 654
An open-source Java library for Constraint Programming
dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago
Swiftcsp ⭐ 72
A Constraint Satisfaction Problem Solver in Pure Swift
total releases 9latest release August 27, 2022most recent commit 2 years ago
Decider ⭐ 120
An Open Source .Net Constraint Programming Solver
total releases 27latest release August 21, 2022most recent commit 2 years ago
Centipede ⭐ 34
Constraint Satisfaction Problem Solver for Golang
total releases 6latest release March 20, 2022most recent commit 2 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.