Commits · 1c12554a19ed04b3cd8062eaf9df8ebf5b1d8f54 · Christoph Schwering / limbo · GitLab

Nov 20, 2016
- Renamed KB to Solver, Maybe::succ to yes; bool conversion explicit. · 1c12554a
  Christoph Schwering authored Nov 20, 2016
  
  1c12554a
Nov 18, 2016
- Cleanup. · 5b5efdf8
  Christoph Schwering authored Nov 18, 2016
  
  5b5efdf8
Nov 17, 2016
- Added Grounder::RelevantSplitTerms. · 9574b9dd
  Christoph Schwering authored Nov 18, 2016
  9574b9dd
Nov 16, 2016
- Difference between old and new minesweeper is bug in old one. · 7ff1d36f
  Christoph Schwering authored Nov 17, 2016
  7ff1d36f
- Grounder avoids additional names in cases like the Bool simulation. · 0211b997
  Christoph Schwering authored Nov 16, 2016
  0211b997
Nov 15, 2016
- Fixed: inheriting Setups are kept minimal. · 819bbfd9
  Christoph Schwering authored Nov 16, 2016
  819bbfd9
- Cleaned up Minesweeper. · cdd158fb
  Christoph Schwering authored Nov 16, 2016
  cdd158fb
- Replaced incr_iterator with int_iterator. · 39c3e730
  Christoph Schwering authored Nov 15, 2016
  39c3e730
- Fixed: iterators did not adhere to InputIterator concept. · a1c7f9a4
  Christoph Schwering authored Nov 15, 2016
  
  a1c7f9a4
Nov 14, 2016
- Grounder avoids regrounding after AddClause(), PrepareFor(). · 7b3459f2
  Christoph Schwering authored Nov 14, 2016
  7b3459f2
Nov 13, 2016
- Started minesweeper example. · 49d1c182
  Christoph Schwering authored Nov 14, 2016
  
  49d1c182
- Restructured code again. · 9533501a
  Christoph Schwering authored Nov 13, 2016
  
  9533501a
- Restructured code. · 403342ad
  Christoph Schwering authored Nov 13, 2016
  
  403342ad
Nov 12, 2016
- KB implements (almost) LBF semantics. · b1d0bd0d
  Christoph Schwering authored Nov 13, 2016
  b1d0bd0d
- Added IntMap unit test. · ba6bd44d
  Christoph Schwering authored Nov 12, 2016
  
  ba6bd44d
Nov 11, 2016
- Unit test for iterator; symbol registration for pretty printer. · a154624c
  Christoph Schwering authored Nov 12, 2016
  
  a154624c
- Started KB class. · 6da39601
  Christoph Schwering authored Nov 11, 2016
  
  6da39601
- Grounder::SortedNames is an IntMap instead of std::multimap now. · 5230085a
  Christoph Schwering authored Nov 11, 2016
  5230085a
- Added Formula::Reader::NF(). · 2631cb31
  Christoph Schwering authored Nov 11, 2016
  2631cb31
Nov 10, 2016
- Refactored pretty printer; added higher-level syntax layer. · c1be2d0a
  Christoph Schwering authored Nov 10, 2016
  
  c1be2d0a
- Merge branch 'master' of https://github.com/schwering/lela into bolf · 3f7acee7
  Christoph Schwering authored Nov 10, 2016
  
  3f7acee7
Nov 08, 2016
- Fixed: Grounder's treatment of additional names for splitting. · 44db850b
  Christoph Schwering authored Nov 09, 2016
  
  44db850b
- Fixed: BloomFilter::hash() only used half of the bytes. · 3a41d2bf
  Christoph Schwering authored Nov 08, 2016
  
  3a41d2bf
Nov 07, 2016
- Fixed Grounder::SplitTerms() to consider non-primitive terms in query. · c76d444d
  Christoph Schwering authored Nov 08, 2016
  
  c76d444d
- Refactored unit tests to allow for FRIEND_TEST(). · 2b7b5fbe
  Christoph Schwering authored Nov 07, 2016
  
  2b7b5fbe
Nov 06, 2016
- Cpplint. · eb518c79
  Christoph Schwering authored Nov 06, 2016
  
  eb518c79
- Fixed Lemma 8 bug in Grounder; redesigned assignments iterators. · 08bd1b29
  Christoph Schwering authored Nov 06, 2016
  
  08bd1b29
Nov 02, 2016
- Grounder unit test. · eefd04c3
  Christoph Schwering authored Nov 02, 2016
  
  eefd04c3
- Fixed a bug in Setup::Minimize(). · f802b7f2
  Christoph Schwering authored Nov 02, 2016
  f802b7f2
Nov 01, 2016
- Grounder now has a state. · f7f1b322
  Christoph Schwering authored Nov 01, 2016
  
  f7f1b322
- Grounder can now incorporate names and variables of Formula. · 238cc3a2
  Christoph Schwering authored Nov 01, 2016
  
  238cc3a2
Oct 26, 2016
- Substitution in formulas. · 6e70c820
  Christoph Schwering authored Oct 26, 2016
  6e70c820
Oct 25, 2016
- Fixed a few issues in Formula. · 2739f234
  Christoph Schwering authored Oct 25, 2016
  
  2739f234
Oct 21, 2016
- Added basic formulas. · f1fc956a
  Christoph Schwering authored Oct 21, 2016
  
  f1fc956a
- Renamed test classes. · 7bcec4c8
  Christoph Schwering authored Oct 21, 2016
  
  7bcec4c8
- Reordered static methods. · f6ad5f04
  Christoph Schwering authored Oct 21, 2016
  
  f6ad5f04
Sep 20, 2016
- Readme. · c0b101ad
  Christoph Schwering authored Sep 20, 2016
  
  c0b101ad
- Readme. · 7d161299
  Christoph Schwering authored Sep 20, 2016
  
  7d161299
Jul 10, 2016
- Little work on formulas. · 2872ad79
  Christoph Schwering authored Jul 10, 2016
  
  2872ad79
Jul 09, 2016
- Setup::LocallyConsistent() only considers transitive closur of literals. · 5967c101
  Christoph Schwering authored Jul 09, 2016
  
  5967c101