Commit Graph

5 Commits

Author SHA1 Message Date
David Wang
242dd19fca Add puzzle type. 2017-02-19 08:03:29 +11:00
David Wang
c62c26aafd Add dependency: bit-set.
We will be using bit-sets to keep track of which puzzle variables are
used in which constraints, and which constraints need to be woken up.
2017-02-18 16:05:10 +11:00
David Wang
eebe23f2e0 Add Travis CI metadata.
Copied from crates.io/travis-ci Rust guide.
2017-02-18 08:28:20 +11:00
David Wang
d969b43099 Add licence (MIT). 2017-02-18 08:25:56 +11:00
David Wang
11f6cd7395 Initial commit: puzzle solver. 2017-02-18 08:21:54 +11:00