Commits · 3c7da0028c136dad4002e4ac85a82c77e75cce2e · Christoph Schwering / limbo · GitLab

Oct 27, 2014
- Added unit test for clause subsumption. · 3c7da002
  Christoph Schwering authored Oct 27, 2014
  
  3c7da002
- Using aggregation instead of inheritance for StdName and Variable. · b0f45d17
  Christoph Schwering authored Oct 27, 2014
  b0f45d17
- Fixed: Ewff::Conj::SubstituteName() erased from wrong map. · 481e6e20
  Christoph Schwering authored Oct 27, 2014
  
  481e6e20
- Fixed: Clause::Subsumption(). · d7e029f5
  Christoph Schwering authored Oct 27, 2014
  
  d7e029f5
- Additional operator<< definitions. · ceb8db1b
  Christoph Schwering authored Oct 27, 2014
  
  ceb8db1b
- Fixed: method dispatching from Literal to Atom · 05414655
  Christoph Schwering authored Oct 27, 2014
  
  05414655
- Added Term::Factory. · af0bbaee
  Christoph Schwering authored Oct 27, 2014
  
  af0bbaee
Oct 26, 2014
- Added namespace. · 3b045525
  Christoph Schwering authored Oct 26, 2014
  
  3b045525
- Added Clause::PropagateUnit(). · 073eada4
  Christoph Schwering authored Oct 26, 2014
  073eada4
- Added Clause::Subsumes(). · 484e91a2
  Christoph Schwering authored Oct 26, 2014
  
  484e91a2
- Fixed: Rel() needs to check if the clause is boxed or not. · 629deacc
  Christoph Schwering authored Oct 26, 2014
  
  629deacc
- Added Ewff::Satisfiable(). · 5dc477e5
  Christoph Schwering authored Oct 26, 2014
  
  5dc477e5
- Fixed: Rel needs to negate literal · 91a89634
  Christoph Schwering authored Oct 26, 2014
  91a89634
- Renamed a few methods. · 2d388460
  Christoph Schwering authored Oct 26, 2014
  
  2d388460
Oct 25, 2014
- Simplified Ewff::Conj. variables() and names() return SortedMaps. · f1df0f90
  Christoph Schwering authored Oct 25, 2014
  
  f1df0f90
- Started clause. · 412994e2
  Christoph Schwering authored Oct 25, 2014
  
  412994e2
- Unified Ground()/Substitute(). Added typedefs. · 2923924f
  Christoph Schwering authored Oct 25, 2014
  2923924f
Oct 24, 2014
- Implemented Conj::Substitute(). Added unit tests. · af2d8bf8
  Christoph Schwering authored Oct 25, 2014
  
  af2d8bf8
- Fixed unification, added operator<< functions, unit test for literal. · 7ce826cd
  Christoph Schwering authored Oct 24, 2014
  
  7ce826cd
- Fixed unification. Added unit tests. · d2bb4d0c
  Christoph Schwering authored Oct 24, 2014
  
  d2bb4d0c
- Fixed unification. Added std::pair-versions of Unify, Ground. · c00da086
  Christoph Schwering authored Oct 24, 2014
  c00da086
Oct 23, 2014
- Renamed Term::Var, Term::Name to Variable, StdName. Added unit test. · 40437970
  Christoph Schwering authored Oct 24, 2014
  40437970
- Ewff is DNF. Introduced Term::Var and Term::Name. · 8eb8a32f
  Christoph Schwering authored Oct 23, 2014
  8eb8a32f
- You Complete Me config. · f5615940
  Christoph Schwering authored Oct 23, 2014
  
  f5615940
- Implemented model generation for ewffs. · c40db047
  Christoph Schwering authored Oct 23, 2014
  
  c40db047
Oct 22, 2014
- Variables IDs are implicit. · 3d370e50
  Christoph Schwering authored Oct 22, 2014
  
  3d370e50
- Added ewffs. · 754cf390
  Christoph Schwering authored Oct 22, 2014
  
  754cf390
Oct 21, 2014
- Started re-implementation in C++. · 99d19d0e
  Christoph Schwering authored Oct 22, 2014
  99d19d0e
- Gitignore. · d3d63dae
  Christoph Schwering authored Oct 21, 2014
  
  d3d63dae
- Restructured for C++. · ccbb0eda
  Christoph Schwering authored Oct 21, 2014
  ccbb0eda
- Moved ewff to separate files. · 738f4a3a
  Christoph Schwering authored Oct 21, 2014
  
  738f4a3a
- Started a minesweeper BAT. · 1c3cb771
  Christoph Schwering authored Oct 21, 2014
  
  1c3cb771
Oct 20, 2014
- Removed profiling test. · 10c873a5
  Christoph Schwering authored Oct 20, 2014
  10c873a5
- Updated readme. · 125aa560
  Christoph Schwering authored Oct 20, 2014
  
  125aa560
- Fixed: query_names() also added variables, removed #1, #2. · b05a09b2
  Christoph Schwering authored Oct 20, 2014
  b05a09b2
- Updated documentation, cosmetic changes, added unit tests. · cf096c41
  Christoph Schwering authored Oct 20, 2014
  
  cf096c41
- Merge branch 'split-optimization' · 17699364
  Christoph Schwering authored Oct 20, 2014
  
  17699364
- Queries are converted to CNF (again). · c1d404b7
  Christoph Schwering authored Oct 20, 2014
  c1d404b7
- Added ewff_cmp(), slightly changed ewff_eval(). · e233bcea
  Christoph Schwering authored Oct 20, 2014
  e233bcea
- vector_clear() clears the buffer. · cdfb79df
  Christoph Schwering authored Oct 20, 2014
  cdfb79df