Commits · 425ac30eec1eb13023eaab677a1a7ca08ecc2fd6 · Christoph Schwering / limbo

Browse files

Apr 01, 2014
- Added subsumption. · 425ac30e
  Christoph Schwering authored Apr 01, 2014
  425ac30e
- Implemented unit propagation (efficiently). · 97f91b95
  Christoph Schwering authored Apr 01, 2014
  97f91b95
- Introduced box_univ_clauses and univ_clauses. · 32eda30f
  Christoph Schwering authored Apr 01, 2014
  32eda30f
Mar 31, 2014
- Fixed a few bugs, unit tests. · cedcab97
  Christoph Schwering authored Mar 31, 2014
  cedcab97
Mar 27, 2014
- Utility functions for clauses. · a21b9bcd
  Christoph Schwering authored Mar 27, 2014
  
  a21b9bcd
- Grounding of KB, untested. · ddfb3216
  Christoph Schwering authored Mar 27, 2014
  
  ddfb3216
- Refactoring: constructors return structures now. · 5e255275
  Christoph Schwering authored Mar 27, 2014
  5e255275
- Started with grounding of clauses. · 8414d364
  Christoph Schwering authored Mar 27, 2014
  
  8414d364
- Macros for type-safe vectors, sets, maps. · 4e968040
  Christoph Schwering authored Mar 27, 2014
  
  4e968040
Mar 26, 2014
- Variables and standard names definitions. · e8f4ea1d
  Christoph Schwering authored Mar 26, 2014
  
  e8f4ea1d
Mar 25, 2014
- Map structure and unit test. · b7424de9
  Christoph Schwering authored Mar 25, 2014
  
  b7424de9
- Set operations, unit tests. · 6158ba84
  Christoph Schwering authored Mar 25, 2014
  
  6158ba84
Mar 24, 2014
- Unit test. · 67d45ca9
  Christoph Schwering authored Mar 24, 2014
  67d45ca9
- Unit tests, set functions. · 804c67b7
  Christoph Schwering authored Mar 24, 2014
  
  804c67b7
Mar 23, 2014
- Fixed a bug, unit tests. · 7e4215ca
  Christoph Schwering authored Mar 23, 2014
  
  7e4215ca
Mar 22, 2014
- Build infrastructure, unit testing. · 68299aa4
  Christoph Schwering authored Mar 23, 2014
  
  68299aa4
- Vector and set structures. · b4faa9a5
  Christoph Schwering authored Mar 22, 2014
  
  b4faa9a5