andrey/puzzle-solver
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 358175fd33 Fix & fmt & ci master Andrey Tkachenko 2022-03-09 12:41:06 +0400
  • 656890c1be Refactored variable constructors Andrey Tkachenko 2021-12-10 13:20:36 +0400
  • dc20c9aa76 Removed Candidates::None variant Andrey Tkachenko 2021-12-09 23:41:30 +0400
  • d8323a144f Move LinExpr into linexpr module Andrey Tkachenko 2021-12-09 22:48:36 +0400
  • 25a6634069 on_assing -> propagate Andrey Tkachenko 2021-12-09 22:36:40 +0400
  • e363a552f0 Split out Ranges struct Andrey Tkachenko 2021-12-09 22:26:07 +0400
  • ba86c49bfb Ranges Andrey Tkachenko 2021-12-08 18:50:21 +0400
  • 631d25cc3c fix warnings Andrey Tkachenko 2021-12-08 11:17:32 +0400
  • da22e1dfbb fmt Andrey Tkachenko 2021-12-07 20:56:04 +0400
  • 74ea9c497f Edition 2021 Andrey Tkachenko 2021-12-07 20:47:45 +0400
  • ee6bf20aba Version bump: 0.4.1. v0.4.1 David Wang 2017-04-16 08:32:52 +1000
  • bbf75b6579 Update README. David Wang 2017-04-16 08:27:47 +1000
  • 2f20aa4086 Add test: Takuzu (A.K.A. Binairo). David Wang 2017-03-21 08:10:14 +1100
  • b22c6466ca Add test: Nonogram (A.K.A. Hanjie, Picross). David Wang 2017-03-20 08:22:26 +1100
  • c7c0bfa128 Version bump: 0.4.0. v0.4.0 David Wang 2017-03-19 08:10:51 +1100
  • 533c382605 Update README. David Wang 2017-03-19 08:08:00 +1100
  • f22b271000 Clean up. David Wang 2017-03-18 09:14:35 +1100
  • 630f09fc80 Add test: xkcd knapsack problem. David Wang 2017-03-17 08:32:30 +1100
  • 3afb599568 Delete mini integer-division module. David Wang 2017-03-16 08:03:29 +1100
  • ab6267b46c Add support for rational coefficients in linear expressions. David Wang 2017-03-15 07:53:23 +1100
  • 20e5242624 Replace Coef with i32 in arithmetic overloads. David Wang 2017-03-14 07:52:39 +1100
  • bf656fcb0d Add dependency: num-rational. David Wang 2017-03-13 08:30:11 +1100
  • 80b84f4f90 Version bump: 0.3.0. v0.3.0 David Wang 2017-03-12 08:15:56 +1100
  • 889d12bf75 Update README. David Wang 2017-03-12 08:11:48 +1100
  • 65222f24d1 Update test: Samurai Sudoku. David Wang 2017-03-12 08:07:31 +1100
  • 93cf70c0ca Add convenience functions for unify. David Wang 2017-03-11 10:38:15 +1100
  • f265a165dd Add unification constraint. David Wang 2017-03-11 10:06:42 +1100
  • 4a331fdc1a Separate constraints from puzzle. David Wang 2017-03-11 09:51:04 +1100
  • 035a8fc8a4 Clean up: candidate manipulation returns a Result. David Wang 2017-03-11 08:37:29 +1100
  • 5bb52b03f2 Add simple variable substitution for constraints. David Wang 2017-03-09 07:42:09 +1100
  • bae1138501 Store constraints in Rc instead of Box. David Wang 2017-03-08 08:02:37 +1100
  • ddf425efe0 Automatically box constraints. David Wang 2017-03-08 07:57:19 +1100
  • b1b727b38e Implement Debug for intermediate puzzle search state. David Wang 2017-03-07 07:44:42 +1100
  • 6689b0106f Add test: Samurai Sudoku. David Wang 2017-03-06 07:38:25 +1100
  • 9f9549ee56 Version bump: 0.2.0. v0.2.0 David Wang 2017-03-05 08:58:06 +1100
  • bfb85a9f1d Update README. David Wang 2017-03-05 08:00:14 +1100
  • 23ae2331bf Add test: Killer Sudoku. David Wang 2017-03-04 09:01:42 +1100
  • c93b9430c1 Add test: Kakuro. David Wang 2017-03-04 08:22:07 +1100
  • dfda5961ef Add test: Sujiko. David Wang 2017-03-04 08:13:27 +1100
  • d9f92e2baa Add test: Hidato. David Wang 2017-03-04 07:57:26 +1100
  • abb4cebce3 Equality: bound variable range by using min/max of other variables. David Wang 2017-03-03 07:26:05 +1100
  • 8e62c85bf5 Add test: Zebra puzzle (A.K.A. Einstein's riddle). David Wang 2017-03-02 08:39:22 +1100
  • 57df25eb37 Add test: Magic Square. David Wang 2017-03-02 08:20:37 +1100
  • 67b7cb5dc6 Add test: Send More Money. David Wang 2017-03-02 08:15:55 +1100
  • 58a2b0b41f Add convenience functions for equality. David Wang 2017-03-01 08:04:27 +1100
  • 7e908457a2 Add equality constraint. David Wang 2017-03-01 07:33:54 +1100
  • bddb31dd5b Add integer division with rounding up/down. David Wang 2017-02-28 07:51:40 +1100
  • 407a3e7555 Overload arithmetic operators to build linear expressions. David Wang 2017-02-27 07:46:09 +1100
  • 8b90319555 Add crates.io metadata. v0.1.0 David Wang 2017-02-26 07:36:11 +1100
  • afc08ad697 Add README. David Wang 2017-02-26 07:30:41 +1100
  • 73bf143595 All Different: detect values that can only be assigned to one variable. David Wang 2017-02-25 09:05:13 +1100
  • 7c3ba0faee All Different: contradiction if more variables than candidates. David Wang 2017-02-25 08:21:58 +1100
  • 0477a5bbb0 Only wake affected constraints. David Wang 2017-02-25 08:05:53 +1100
  • 6eb25f6af0 Add test: N-queens problem. David Wang 2017-02-24 07:30:30 +1100
  • 34e58114ea Add test: Sudoku. David Wang 2017-02-24 07:21:09 +1100
  • 6546a936c3 Count the number of guesses taken to solve the puzzle. David Wang 2017-02-24 07:15:55 +1100
  • 3911802d89 Add convenience functions for all different. David Wang 2017-02-23 07:55:29 +1100
  • fcefa40b6c Add all different constraint. David Wang 2017-02-23 07:46:12 +1100
  • 460e91e16b Apply puzzle constraints. David Wang 2017-02-22 08:11:17 +1100
  • d199b65a22 Add puzzle solver stubs. David Wang 2017-02-22 07:37:53 +1100
  • 651cc9f6c7 Add constraint trait. David Wang 2017-02-21 08:17:37 +1100
  • a5c274d9b7 Add puzzle search helper type. David Wang 2017-02-20 08:16:41 +1100
  • b5851e6876 Add solution type. David Wang 2017-02-20 08:01:38 +1100
  • 859e7c7341 Add convenience functions for creating puzzle variables. David Wang 2017-02-19 09:00:31 +1100
  • 9464629ca1 Add operations to manipulate candidates. David Wang 2017-02-19 08:58:17 +1100
  • 33ed1a3dbb Add types for a single candidate and a set of candidates. David Wang 2017-02-19 08:16:19 +1100
  • dbd4a9b5c8 Add puzzle variable tokens. David Wang 2017-02-19 08:05:44 +1100
  • 242dd19fca Add puzzle type. David Wang 2017-02-19 08:01:54 +1100
  • c62c26aafd Add dependency: bit-set. David Wang 2017-02-18 16:05:10 +1100
  • eebe23f2e0 Add Travis CI metadata. David Wang 2017-02-18 08:28:20 +1100
  • d969b43099 Add licence (MIT). David Wang 2017-02-18 08:22:44 +1100
  • 11f6cd7395 Initial commit: puzzle solver. David Wang 2017-02-18 08:21:54 +1100