ELK>> CSP-Solver>> 返回
项目作者： nomaanakhtar

项目描述 ：
Implemented a constraint satisfaction problem solver using backtracking and forward checking.
高级语言： Python
项目地址: git://github.com/nomaanakhtar/CSP-Solver.git
创建时间： 2019-05-21T01:09:46Z
项目社区：https://github.com/nomaanakhtar/CSP-Solver
开源协议：
下载


CSP-Solver

This project is a constraint satisfaction problem solver using backtracking and forward checking.

The CSP chooses variable according to the most constrained variable heuristic, breaking ties using the most constraining variable heuristic.
If more than one variable remains after applying these heuristics, break ties alphabetically.

The CSP chooses values according to least constraining value heuristic.

The “Test Cases” folder contains 3 sample test cases.

To Run

Command line arguments :

  1. .var file which contains a list of variables.
  2. .con file which contains a list of constraints.
  3. consistency enforcing procedure “none” for only backtracking and “fc” for backtracking with forward checking.

Example arguments:

python main3.py ex1.var ex1.con fc

python main3.py ex2.var ex2.con none