Constraint Programming
4 projects
Showing 4 of 4 projects
scryer-prologRust
A modern ISO Prolog implementation written in Rust, aiming to be an industrial-strength production environment and research testbed.
#compiler#webassembly#prolog-interpreter
Stars2.4k
Forks165
Last commit3 days ago
JaCoPJava
A Java-based open-source constraint programming solver with extensive global constraints and Scala DSL support.
#solver#finite-domains#java-library
Stars234
Forks59
Last commit3 months ago
SnapLayoutSwift
A concise Swift API for Auto Layout that simplifies constraint creation and management with chaining and easy updates.
#auto-layout#ios#pin
Stars11
Forks0
Last commit6 years ago
Screamer+Common Lisp
A Common Lisp library that extends SCREAMER with enhanced expressiveness for constraint logic programming.
#declarative-programming#screamer-extension#constraint-satisfaction
Stars6
Forks2
Last commit7 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.