Commits · f66b0e2b72ad6964a79d8f4ee4e216eccd4b9d8d · Christoph Schwering / limbo · GitLab

Apr 05, 2016
- Unit test for clauses and setups, bugfixes. · f66b0e2b
  Christoph Schwering authored Apr 05, 2016
  
  f66b0e2b
Apr 04, 2016
- Unit test for bloom filter and literals. · 8ae8aca3
  Christoph Schwering authored Apr 04, 2016
  
  8ae8aca3
Apr 03, 2016
- Unit test for terms. · d8407f4a
  Christoph Schwering authored Apr 03, 2016
  
  d8407f4a
Apr 01, 2016
- Bloom filters. · 2be94025
  Christoph Schwering authored Apr 01, 2016
  
  2be94025
- Revised iterators. · f93890f4
  Christoph Schwering authored Apr 01, 2016
  
  f93890f4
Mar 31, 2016
- Setup data structure is hopefully more sophisticated. · 2861c2a6
  Christoph Schwering authored Mar 31, 2016
  2861c2a6
Mar 30, 2016
- Setups · 09d986e5
  Christoph Schwering authored Mar 30, 2016
  
  09d986e5
Mar 23, 2016
- Lots of minor changes and little progress towards LBF/BOLF. · 4a237bdb
  Christoph Schwering authored Mar 23, 2016
  
  4a237bdb
Mar 22, 2016
- Added BucketMap. · f9c69f66
  Christoph Schwering authored Mar 22, 2016
  
  f9c69f66
Feb 02, 2016
- Continuing rewrite. · 40a429ad
  Christoph Schwering authored Feb 02, 2016
  
  40a429ad
Feb 01, 2016
- Rewrite for BOLF has begun. · c2152699
  Christoph Schwering authored Feb 01, 2016
  c2152699
- Removed actions. · 24fcbe5a
  Christoph Schwering authored Feb 01, 2016
  
  24fcbe5a
May 12, 2015
- Fixed: conditional propagation in belief setups. · 6a1edfb5
  Christoph Schwering authored May 12, 2015
  6a1edfb5
Feb 26, 2015
- Removed obsolete function declaration. · bff440c5
  Christoph Schwering authored Feb 26, 2015
  
  bff440c5
- Fixed: Setup::Entails() for counterfactuals. · 7556a5e8
  Christoph Schwering authored Feb 26, 2015
  7556a5e8
Jan 13, 2015
- Minesweeper skips consistency check; added statistics script. · b9066a39
  Christoph Schwering authored Jan 12, 2015
  
  b9066a39
Jan 12, 2015
- Setup::AddClauseWithoutConsistencyCheck() is public now. · 42173770
  Christoph Schwering authored Jan 12, 2015
  42173770
- Fixed: inconsistency check in Setup::AddClause() was incomplete · 2a98044d
  Christoph Schwering authored Jan 12, 2015
  2a98044d
Jan 09, 2015
- Minesweeper: cosmetic changes, added evaluation script. · c46d3b2d
  Christoph Schwering authored Jan 09, 2015
  
  c46d3b2d
Jan 07, 2015
- Minesweeper: inspected fields are ordered heuristically. · 71d09dfd
  Christoph Schwering authored Jan 07, 2015
  71d09dfd
- Minesweeper: fixed non-square field bug; tweaked params for performance. · 5c420538
  Christoph Schwering authored Jan 07, 2015
  5c420538
Jan 06, 2015
- Minesweeper considers remaining mines at the end; fixed bugs. · c633a517
  Christoph Schwering authored Jan 06, 2015
  
  c633a517
Jan 05, 2015
- Minesweeper agent plays more rationally when nothing is known. · 9847ef9d
  Christoph Schwering authored Jan 06, 2015
  
  9847ef9d
- Minesweeper agent plays autonomously. · 56bdb9bf
  Christoph Schwering authored Jan 06, 2015
  
  56bdb9bf
- Minesweeper now has colorful output. · 7f69a459
  Christoph Schwering authored Jan 05, 2015
  
  7f69a459
- Added a simple minesweeper example. · ed3d79c7
  Christoph Schwering authored Jan 05, 2015
  ed3d79c7
Dec 19, 2014
- Removed README for now. · 447cc5e7
  Christoph Schwering authored Dec 20, 2014
  
  447cc5e7
Dec 12, 2014
- Readme. · 0c0294db
  Christoph Schwering authored Dec 12, 2014
  
  0c0294db
- [z] K phi now works for unit propagation. · 23ffd139
  Christoph Schwering authored Dec 12, 2014
  23ffd139
Dec 11, 2014
- Renamed ESBL to LELA. · d6013668
  Christoph Schwering authored Dec 11, 2014
  d6013668
- Objective level literals in Formulas get special treatment. · ce7e1fcd
  Christoph Schwering authored Dec 11, 2014
  ce7e1fcd
- Further tried profiling Eval nodes. · 019fecb3
  Christoph Schwering authored Dec 11, 2014
  019fecb3
Dec 10, 2014
- Eval literals in formulas and CNF to invert evaluation order. · 8cf3619b
  Christoph Schwering authored Dec 10, 2014
  8cf3619b
Dec 07, 2014
- Refactored Formula, introduced BasicActionTheory class. · 4a56b886
  Christoph Schwering authored Dec 08, 2014
  4a56b886
Dec 06, 2014
- Made cpplint happy. · deb15ce6
  Christoph Schwering authored Dec 06, 2014
  
  deb15ce6
- Simplified code structure in Formula. · 983faf54
  Christoph Schwering authored Dec 06, 2014
  983faf54
- Several small API changes. · bbbef99d
  Christoph Schwering authored Dec 06, 2014
  bbbef99d
Dec 05, 2014
- Refactored Formula, introduces explicitly objective formulas. · 02755fa8
  Christoph Schwering authored Dec 06, 2014
  02755fa8
- Fixed: Formula::Minimize() and ResolveLiterals(). · 01a1bdef
  Christoph Schwering authored Dec 05, 2014
  01a1bdef
Dec 04, 2014
- Completed implementation of Reprensetation Theorem. · 5324eaa5
  Christoph Schwering authored Dec 04, 2014
  5324eaa5