Commits · 90e253c130df2d46a27b4fefeb4da782be8e6cb2 · Christoph Schwering / limbo · GitLab

Feb 12, 2017
- 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
Feb 04, 2017
- Fixed: singletons crashed Javascript version. · 4696e46a
  Christoph Schwering authored Feb 04, 2017
  4696e46a
Feb 03, 2017
- Simplified Literal representation. · fbc800d3
  Christoph Schwering authored Feb 04, 2017
  
  fbc800d3
- Factories are singletons; Terms are 32 bit, Literals are 64 bit. · 7ee81634
  Christoph Schwering authored Feb 04, 2017
  7ee81634
- Added closed hashtable. · fe14c6e0
  Christoph Schwering authored Feb 03, 2017
  fe14c6e0
- Removed Comparators. · 83bcd493
  Christoph Schwering authored Feb 03, 2017
  83bcd493
- Minesweeper first looks at points near the last move. · a31d03e5
  Christoph Schwering authored Feb 03, 2017
  
  a31d03e5
- Term::hash() is now deterministic wrt Term::Factory. Added Sudokus. · af3222d3
  Christoph Schwering authored Feb 03, 2017
  
  af3222d3
Feb 02, 2017
- Added Sudoku test. · 4bcac9c4
  Christoph Schwering authored Feb 03, 2017
  
  4bcac9c4
- Added closed HashSet for Clauses. · 9e9924bf
  Christoph Schwering authored Feb 03, 2017
  
  9e9924bf
Feb 01, 2017
- Added missing Sudoku files. · 5d71f7b8
  Christoph Schwering authored Feb 02, 2017
  
  5d71f7b8
Jan 31, 2017
- Restructured Sudoku agent. · eae96a2f
  Christoph Schwering authored Feb 01, 2017
  
  eae96a2f
Jan 30, 2017
- Improved web-version of Sudoku. · 9b7fc79e
  Christoph Schwering authored Jan 30, 2017
  
  9b7fc79e
Jan 29, 2017
- Added web-version of Sudoku. · f0b91f04
  Christoph Schwering authored Jan 30, 2017
  
  f0b91f04
- Added standalone Sudoku agent. · cccb489a
  Christoph Schwering authored Jan 30, 2017
  
  cccb489a
- Added Sudokus. · 39c04029
  Christoph Schwering authored Jan 30, 2017
  
  39c04029
Jan 27, 2017
- Added some newspaper Sudokus. · 11975094
  Christoph Schwering authored Jan 27, 2017
  
  11975094
Jan 26, 2017
- Added Grounder::Split(), which caches split setups. · 6daa0bc7
  Christoph Schwering authored Jan 27, 2017
  6daa0bc7
Jan 23, 2017
- Added callbacks to suppress query logging. · 8ca2eb2f
  Christoph Schwering authored Jan 24, 2017
  
  8ca2eb2f