Skip to content

machisuji/SolventGreen

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

47 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SolventGreen

This is a collection of Constraint Satisfaction Problem (CSP) Solvers. The library is absolutely randomly called "SolventGreen". I haven't even seen Soylent Green, mind you. It's just the first thing that popped into my head. Deal with it.

Solving Strategies & Heuristics

Both 2-way branching and d-way branching strategies are employed. For both there is a backtracking solver and also a solver using forward checking. Besides static variable assignment order there is also support for smallest domain first ordering.

Building

Build with: sbt 0.11.3

Packaging

sbt assembly

This will run all tests and if successful package everything (including the scala library) into an executable jar file.

Running the Benchmark

java -jar target/solvent-green.jar solvent.green.benchmark.Benchmark

About

CSP Solvers in Scala

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages