-
- Downloads
Cleaned up includes and ifdefs.
Showing
- README.md 1 addition, 1 deletionREADME.md
- examples/minesweeper/kb.h 8 additions, 8 deletionsexamples/minesweeper/kb.h
- examples/minesweeper/minesweeper.cc 1 addition, 1 deletionexamples/minesweeper/minesweeper.cc
- examples/minesweeper/test.sh 1 addition, 1 deletionexamples/minesweeper/test.sh
- examples/sudoku/kb.h 3 additions, 3 deletionsexamples/sudoku/kb.h
- examples/tui/sudoku.h 1 addition, 1 deletionexamples/tui/sudoku.h
- examples/tui/tui-js.cc 1 addition, 1 deletionexamples/tui/tui-js.cc
- examples/tui/tui.cc 3 additions, 3 deletionsexamples/tui/tui.cc
- src/lela/clause.h 20 additions, 19 deletionssrc/lela/clause.h
- src/lela/format/output.h 88 additions, 72 deletionssrc/lela/format/output.h
- src/lela/format/pdl/context.h 6 additions, 5 deletionssrc/lela/format/pdl/context.h
- src/lela/format/pdl/parser.h 4 additions, 2 deletionssrc/lela/format/pdl/parser.h
- src/lela/formula.h 1 addition, 0 deletionssrc/lela/formula.h
- src/lela/grounder.h 1 addition, 0 deletionssrc/lela/grounder.h
- src/lela/kb.h 6 additions, 0 deletionssrc/lela/kb.h
- src/lela/literal.h 2 additions, 0 deletionssrc/lela/literal.h
- src/lela/setup.h 6 additions, 3 deletionssrc/lela/setup.h
- src/lela/solver.h 5 additions, 0 deletionssrc/lela/solver.h
- tests/clause.cc 1 addition, 1 deletiontests/clause.cc
- tests/formula.cc 1 addition, 1 deletiontests/formula.cc
Loading
Please register or sign in to comment