Commits · 238cc3a29dcb50d3f327ad422f73743a27d6ef3a · Christoph Schwering / limbo

Browse files

Nov 01, 2016
- 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
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
Apr 26, 2016
- nullptr and consistent use of default ctor/dtors. · 179a949f
  Christoph Schwering authored Apr 27, 2016
  
  179a949f
Apr 25, 2016
- Introduced symbol and term factories. · e69dab79
  Christoph Schwering authored Apr 25, 2016
  e69dab79
Apr 18, 2016
- Merged Ground() and Substitute(). · 804bd0c9
  Christoph Schwering authored Apr 18, 2016
  
  804bd0c9
- Grounder. · 43f2d097
  Christoph Schwering authored Apr 18, 2016
  
  43f2d097
Apr 12, 2016
- Renamed Term::Collect and friends Term::Traverse with simpler interface. · a8dfe5aa
  Christoph Schwering authored Apr 12, 2016
  
  a8dfe5aa
Apr 10, 2016
- Started with the grounder. · a4a213ec
  Christoph Schwering authored Apr 10, 2016
  
  a4a213ec
- Workaround for clang error with typedef in IntMap. · 5e335a9c
  Christoph Schwering authored Apr 10, 2016
  
  5e335a9c
- Setup::primitive_terms() only considers occurring clauses. · 8caf8d71
  Christoph Schwering authored Apr 10, 2016
  
  8caf8d71
Apr 07, 2016
- Cleanup · 2df4ffb3
  Christoph Schwering authored Apr 07, 2016
  
  2df4ffb3
- Some documentation. · b2826405
  Christoph Schwering authored Apr 07, 2016
  
  b2826405
Apr 06, 2016
- Removed legacy files. · 12285ec8
  Christoph Schwering authored Apr 07, 2016
  
  12285ec8
- Rewrote iterators templates and setup iterators. Fixed unit propagation. · 69cf8eda
  Christoph Schwering authored Apr 07, 2016
  
  69cf8eda
- Bloomfilter; tests. · e603c81e
  Christoph Schwering authored Apr 06, 2016
  
  e603c81e
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