CS4402-Solver

Practical 2: Solver for Constraint Satisfaction Problems

How to Run

java -jar CS4402-Solver.jar <path to .csp file> <algorithm> <variable heuristic> <value heuristic>

The valid options are:

algorithm:          fc,mac
variable heuristic: asc,sdf
value heuristic:    asc

javac -cp "$(printf %s: ../../lib/*.jar)" test/*.java

java -cp "$(printf %s: ../../lib/*.jar)" test.TestRunner

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
evaluation		evaluation
instances		instances
lib		lib
p2/src		p2/src
CS4402-Solver.jar		CS4402-Solver.jar
README.md		README.md