Commits · 5b09086b825e6b221bd193079187021dcc8a2571 · Christoph Schwering / limbo · GitLab

May 26, 2017
- Replaced Grounder::SortedTermMap with generic internal::MultiIntSet. · 5b09086b
  Christoph Schwering authored May 26, 2017 and Christoph Schwering committed May 27, 2017
  5b09086b
May 25, 2017
- Replaced Grounder::Assignments now uses generic mapping_iterator. · 64e79cc7
  Christoph Schwering authored May 25, 2017
  64e79cc7
May 22, 2017
- NF distributes conjunctions over K and disjunctions over M. · daa2cc7f
  Christoph Schwering authored May 22, 2017
  daa2cc7f
May 21, 2017
- Fixed: split_order_matters optimisation in Solver::Split was unsound. · 94e4c890
  Christoph Schwering authored May 22, 2017
  94e4c890
- PDL: Implication operator is right-associative. · 97044d22
  Christoph Schwering authored Apr 23, 2017
  
  97044d22
Apr 20, 2017
- Google Test now included through CMake. · 0991e7e7
  Christoph Schwering authored Apr 20, 2017
  
  0991e7e7
Apr 11, 2017
- Renamed LELA to Limbo. · 77cde13d
  Christoph Schwering authored Apr 11, 2017
  
  77cde13d
Apr 06, 2017
- Fixed: Minesweeper error visualization bug. · 56150040
  Christoph Schwering authored Apr 07, 2017
  
  56150040
- Fixed: custom Sudoku bug. · 22c1709c
  Christoph Schwering authored Apr 06, 2017 and Christoph Schwering committed Apr 07, 2017
  
  22c1709c
Mar 14, 2017
- Fixed: Solver::Assign() should check subsumption in original setup. · 0db46ea7
  Christoph Schwering authored Mar 14, 2017
  0db46ea7
Mar 09, 2017
- Javascript TUI has 'demo' mode (blocks next command). · 2e9b4782
  Christoph Schwering authored Mar 09, 2017
  
  2e9b4782
Mar 08, 2017
- Code formatting. · ac2ce3f2
  Christoph Schwering authored Mar 09, 2017
  
  ac2ce3f2
Mar 07, 2017
- Improved Javascript TUI and CMakeLists. · 36d35b57
  Christoph Schwering authored Mar 08, 2017
  
  36d35b57
- TUI prints normalised formulas now; fixed PRINT_ABBREVIATIONS. · 0b0dc06f
  Christoph Schwering authored Mar 07, 2017
  
  0b0dc06f
- Javascript TUI is now interactive. · 71a949e4
  Christoph Schwering authored Mar 07, 2017
  71a949e4
Mar 06, 2017
- Fixed several C++ concepts. · 8bd63436
  Christoph Schwering authored Mar 07, 2017
  8bd63436
- Fixed: Solver::kNoConsistencyGuarantee had wrong value. · f9309fe2
  Christoph Schwering authored Mar 06, 2017
  f9309fe2
Mar 05, 2017
- Added interactive mode to TUI. · 554b3a9c
  Christoph Schwering authored Mar 06, 2017
  
  554b3a9c
- Cleaned up includes and ifdefs. · eff57118
  Christoph Schwering authored Mar 03, 2017
  
  eff57118
Feb 25, 2017
- Setup::PropagateUnit[s], Setup::Add[Unit|Clause] assert non-[in]valid. · 796bf017
  Christoph Schwering authored Feb 26, 2017
  796bf017
Feb 23, 2017
- Moved Sudokus to a separate text file. · c138cf01
  Christoph Schwering authored Feb 23, 2017
  c138cf01
- Copyright, License, a little cleanup. · bc83eae7
  Christoph Schwering authored Feb 23, 2017
  
  bc83eae7
Feb 20, 2017
- Setup::Subsumes() holds for valid clauses. · b86da4d7
  Christoph Schwering authored Feb 21, 2017
  b86da4d7
- Clause::valid() now includes t/=n1, t/=n2 cases. · aeae72a8
  Christoph Schwering authored Feb 20, 2017
  
  aeae72a8
- Clause::valid() now includes the case where it contains t_1=t_2 and t_1/=t_2. · a1f75776
  Christoph Schwering authored Feb 20, 2017
  
  a1f75776
Feb 19, 2017
- Disabled end-game clauses in Minesweeper. · 903f6241
  Christoph Schwering authored Feb 20, 2017
  
  903f6241
Feb 17, 2017
- Slightly simplified Term::Subsumes(); added test for G. · ced39693
  Christoph Schwering authored Feb 17, 2017
  
  ced39693
Feb 16, 2017
- Fixed: wrong operator<() for [int|array]_iterator. · 3367d017
  Christoph Schwering authored Feb 16, 2017
  3367d017
Feb 15, 2017
- Renamed minesweeper and textinterface examples; cleaned up. · d52edc24
  Christoph Schwering authored Feb 14, 2017
  
  d52edc24
Feb 14, 2017
- Improved Minesweeper visualization. · d0611848
  Christoph Schwering authored Feb 14, 2017
  d0611848
Feb 13, 2017
- Fixed: order of splits matters for Solver::Determines(). · 397df58f
  Christoph Schwering authored Feb 14, 2017
  397df58f
- Minesweeper optionally uses Solver::Determines() now. · 85511d58
  Christoph Schwering authored Feb 14, 2017
  85511d58
- Sudoku now uses Solver::Determines() for faster queries. · 35d8f327
  Christoph Schwering authored Feb 14, 2017
  
  35d8f327
- KnowledgeBase uses Solver::Determines() to optimize simple queries. · fe9d39bb
  Christoph Schwering authored Feb 14, 2017
  fe9d39bb
- Added Solver::Determines(). · de177a2d
  Christoph Schwering authored Feb 14, 2017
  de177a2d
- Added Grounder::[PrepareForQuery|RelevantSplitTerms]() for term queries. · 0c3016b9
  Christoph Schwering authored Feb 14, 2017
  0c3016b9
- Fixed: missing lhs in Setup::Units::Determines(). · a6a6cd47
  Christoph Schwering authored Feb 14, 2017
  a6a6cd47
- Fixed some layout issues in Javascript demos, especially Minesweeper. · 41b69fdb
  Christoph Schwering authored Feb 13, 2017
  41b69fdb
Feb 12, 2017
- New web-interface for Minesweeper. · 8fff0cff
  Christoph Schwering authored Feb 13, 2017
  8fff0cff
- Documentation. · ed32bc79
  Christoph Schwering authored Feb 12, 2017
  
  ed32bc79