https://github.com/gabrielhdt/ocspbt

Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
https://github.com/gabrielhdt/ocspbt

csp-solver ocaml queens-problem sudoku

Last synced: 12 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/gabrielhdt/ocspbt
• Owner: gabrielhdt
• License: gpl-3.0
• Created: 2018-02-18T16:47:16.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-07-09T19:28:42.000Z (over 6 years ago)
• Last Synced: 2023-09-07T03:44:39.826Z (over 1 year ago)
• Topics: csp-solver, ocaml, queens-problem, sudoku
• Language: OCaml
• Homepage: https://gitlab.com/gabrielhdt/ocspbt
• Size: 34.2 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project