gabrielhdt / ocspbt Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab

gitlab.com/gabrielhdt/ocspbt

GPL-3.0 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
data		data
doc		doc
src		src
.gitignore		.gitignore
.merlin		.merlin
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
_tags		_tags

Repository files navigation

ocspbt

Constraint satisfaction problem solver in ocaml using backtrack methods

Moved to gitlab

About

Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab

gitlab.com/gabrielhdt/ocspbt

ocaml sudoku queens-problem csp-solver

GPL-3.0 license

Report repository

Releases

No releases published

Packages

Languages