Sconsolver

A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming language
Alternatives To Sconsolver
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Kiwi Solver35
5 years ago1apache-2.0Java
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
Overture8
8 years agoOCaml
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
Sconsolver7
10 years agoScala
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming language
Alternatives To Sconsolver
Select To Compare


Alternative Project Comparisons
Popular Programming Projects
Popular Constraint Solver Projects
Popular Learning Resources Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Programming
Constraint Solver