puzzle-solver

Go to file

David Wang fcefa40b6c Add all different constraint.

This is a very simple all different constraint, e.g.

- It does not know that if there are more variables than candidates,
  it has reached a contradiction.

- It does not know that, if there are as many variables as candidates,
  if only one variable can take on a candidate value, then all other
  candidates for that variable can be eliminated.

2017-02-23 07:53:26 +11:00

src

Add all different constraint.

2017-02-23 07:53:26 +11:00

.gitignore

Initial commit: puzzle solver.

2017-02-18 08:21:54 +11:00

.travis.yml

Add Travis CI metadata.

2017-02-18 08:28:20 +11:00

Cargo.toml

Add dependency: bit-set.

2017-02-18 16:05:10 +11:00

LICENCE-MIT.txt

Add licence (MIT).

2017-02-18 08:25:56 +11:00