Commits · aeae72a84d2a0f0f696ff76a98567e7bc77529a1 · Christoph Schwering / limbo · GitLab

Feb 20, 2017
- 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
- Fixed: internal::HashSet() didn't test removed-flag. · 3a0c71d2
  Christoph Schwering authored Feb 12, 2017
  3a0c71d2
- Solver::Split() avoid redundant split combinations. · 90e253c1
  Christoph Schwering authored Feb 12, 2017
  
  90e253c1
Feb 11, 2017
- Cleaned up Setup::ShallowCopy and friends; cpplint. · 7bb0a414
  Christoph Schwering authored Feb 12, 2017
  
  7bb0a414
- Added Setup::[Locally]Consistent(). · 09081be4
  Christoph Schwering authored Feb 12, 2017
  09081be4
- Added Setup::Determines(). · 1b4b36e2
  Christoph Schwering authored Feb 12, 2017
  1b4b36e2
- Reimplemented (first part of) Setup with watched literals. · 881b6159
  Christoph Schwering authored Feb 12, 2017
  881b6159
- Added #ifdef's to enable/disable bloom filters. · b95dcbaa
  Christoph Schwering authored Feb 11, 2017
  
  b95dcbaa
Feb 10, 2017
- Rewrote Clause::Subsumes(), Clause::PropagateUnit[s](). · ff91bf3d
  Christoph Schwering authored Feb 11, 2017
  ff91bf3d
- Clause uses custom stack plus arrays now. · c32d7995
  Christoph Schwering authored Feb 10, 2017
  
  c32d7995
Feb 09, 2017
- Fixed: when assume_consistent, Solver::Assign() must not test []. · efd4de73
  Christoph Schwering authored Feb 10, 2017
  efd4de73
- Fixed: undeclared variables in quantifiers crashed text interface. · d55761a3
  Christoph Schwering authored Feb 10, 2017
  
  d55761a3
- Fixed: Formula::Exists::Rectify() didn't register variables. · 60d198de
  Christoph Schwering authored Feb 09, 2017
  60d198de
- Removed some redundant Setup::enabled() calls. · 57e29a9c
  Christoph Schwering authored Feb 09, 2017
  57e29a9c
Feb 08, 2017
- Minesweeper JS is compiled for growing memory now. · 9bae0b5a
  Christoph Schwering authored Feb 08, 2017
  9bae0b5a
Feb 07, 2017
- Added consistency modality G. · 6e7b4fe3
  Christoph Schwering authored Feb 08, 2017
  6e7b4fe3
- Readme. · bbbfa505
  Christoph Schwering authored Feb 08, 2017
  
  bbbfa505
- Fixed: Solver::Consistent() did not fully use consistency guarantee. · 0ad1f579
  Christoph Schwering authored Feb 07, 2017
  0ad1f579
- Fixed: KnowledgeBase::BuildSpheres() omitted last pl-cons sphere. · dc570d21
  Christoph Schwering authored Feb 07, 2017
  dc570d21
- Term::[Complementary|Subsumes]() use bitwise operations. · 76d4bc0c
  Christoph Schwering authored Feb 07, 2017
  76d4bc0c
Feb 06, 2017
- Rewrote/added Grounder::[Relevant]LiteralAssignments(). · 1726c333
  Christoph Schwering authored Feb 07, 2017
  1726c333
- Added 32 bit hash functions. · cd3ffba8
  Christoph Schwering authored Feb 06, 2017
  
  cd3ffba8
- Added [Term|Literal]::Unify(), [Term|Literal]::Bisimilar(). · fc94586b
  Christoph Schwering authored Feb 06, 2017
  
  fc94586b
Feb 05, 2017
- Revising Grounder::AssignmentLiterals(). · 0ff0604d
  Christoph Schwering authored Feb 06, 2017
  
  0ff0604d