├── .gitignore ├── .gitmodules ├── CMakeLists.txt ├── LICENSE ├── README.md ├── cmake └── FindEmscripten.cmake ├── cpplint ├── examples ├── CMakeLists.txt ├── index.html ├── jquery.sh ├── minesweeper │ ├── CMakeLists.txt │ ├── agent.h │ ├── eval.sh │ ├── flag.svg │ ├── game.h │ ├── kb.h │ ├── loop.sh │ ├── mine.svg │ ├── minesweeper-js.cc │ ├── minesweeper-js.html │ ├── minesweeper.cc │ ├── printer.h │ ├── test.sh │ └── timer.h ├── sat │ ├── CMakeLists.txt │ ├── functionalize.cc │ ├── limsat.cc │ ├── pigeonhole.c │ ├── pigeons.sh │ ├── sat.cc │ ├── sat.h │ ├── solver.h │ ├── sudoku2cnf.py │ ├── sudoku2fcnf.py │ ├── sudokus.sh │ ├── sum.sh │ ├── update.sh │ └── vg.sh ├── sudoku │ ├── CMakeLists.txt │ ├── agent.h │ ├── game.h │ ├── kb.h │ ├── printer.h │ ├── sudoku-js.cc │ ├── sudoku-js.html │ ├── sudoku.cc │ ├── sudokus.txt │ ├── test-and-eval-sudokus.sh │ ├── test.sh │ └── timer.h ├── tui │ ├── CMakeLists.txt │ ├── README.md │ ├── battleship-pos.hs │ ├── battleship.h │ ├── battleship.txt │ ├── example-battleship-1x4.limbo │ ├── example-birth.limbo │ ├── example-rich-father.limbo │ ├── example-siblings.limbo │ ├── example-unknown-father.limbo │ ├── example-veggie.limbo │ ├── sudoku-rep.py │ ├── sudoku.h │ ├── test-bat.limbo │ ├── test-battleship-1x4.limbo │ ├── test-control.limbo │ ├── test-functions.limbo │ ├── test-guarantee.limbo │ ├── test-introspection-constant.limbo │ ├── test-introspection-disjunction.limbo │ ├── test-introspection-existential.limbo │ ├── test-parents-2.limbo │ ├── test-parents.limbo │ ├── test-propositions.limbo │ ├── test-qbf-1.limbo │ ├── test-qbf-10.limbo │ ├── test-qbf-11.limbo │ ├── test-qbf-12.limbo │ ├── test-qbf-13.limbo │ ├── test-qbf-14.limbo │ ├── test-qbf-15.limbo │ ├── test-qbf-16.limbo │ ├── test-qbf-17.limbo │ ├── test-qbf-2.limbo │ ├── test-qbf-3.limbo │ ├── test-qbf-4.limbo │ ├── test-qbf-5.limbo │ ├── test-qbf-6.limbo │ ├── test-qbf-7.limbo │ ├── test-qbf-8.limbo │ ├── test-qbf-9.limbo │ ├── test-rich-father.limbo │ ├── test-siblings.limbo │ ├── test-unknown-father.limbo │ ├── test-veggie-with-guarantee.limbo │ ├── test-veggie.limbo │ ├── test-ws-zoomed-by.limbo │ ├── timer.h │ ├── tui-js.cc │ ├── tui-js.html │ └── tui.cc ├── upload.sh └── zip.sh ├── src ├── CMakeLists.txt └── limbo │ ├── clause.h │ ├── formula.h │ ├── internal │ ├── dense.h │ ├── hash.h │ ├── ints.h │ ├── maybe.h │ ├── ringbuffer.h │ ├── singleton.h │ └── subsets.h │ ├── io │ ├── input.h │ ├── iocontext.h │ ├── lexer.h │ ├── output.h │ └── parser.h │ ├── limsat.h │ ├── lit.h │ └── sat.h └── tests ├── CMakeLists.txt ├── clause.cc ├── dense.cc ├── formula.cc ├── hash.cc ├── ints.cc ├── limsat.cc ├── lit.cc ├── ringbuffer.cc ├── sat.cc ├── singleton.cc ├── subsets.cc ├── syntax.cc └── syntax.h /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/.gitmodules -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/README.md -------------------------------------------------------------------------------- /cmake/FindEmscripten.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/cmake/FindEmscripten.cmake -------------------------------------------------------------------------------- /cpplint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/cpplint -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /examples/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/index.html -------------------------------------------------------------------------------- /examples/jquery.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/jquery.sh -------------------------------------------------------------------------------- /examples/minesweeper/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/CMakeLists.txt -------------------------------------------------------------------------------- /examples/minesweeper/agent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/agent.h -------------------------------------------------------------------------------- /examples/minesweeper/eval.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/eval.sh -------------------------------------------------------------------------------- /examples/minesweeper/flag.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/flag.svg -------------------------------------------------------------------------------- /examples/minesweeper/game.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/game.h -------------------------------------------------------------------------------- /examples/minesweeper/kb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/kb.h -------------------------------------------------------------------------------- /examples/minesweeper/loop.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/loop.sh -------------------------------------------------------------------------------- /examples/minesweeper/mine.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/mine.svg -------------------------------------------------------------------------------- /examples/minesweeper/minesweeper-js.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/minesweeper-js.cc -------------------------------------------------------------------------------- /examples/minesweeper/minesweeper-js.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/minesweeper-js.html -------------------------------------------------------------------------------- /examples/minesweeper/minesweeper.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/minesweeper.cc -------------------------------------------------------------------------------- /examples/minesweeper/printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/printer.h -------------------------------------------------------------------------------- /examples/minesweeper/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/test.sh -------------------------------------------------------------------------------- /examples/minesweeper/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/minesweeper/timer.h -------------------------------------------------------------------------------- /examples/sat/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/CMakeLists.txt -------------------------------------------------------------------------------- /examples/sat/functionalize.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/functionalize.cc -------------------------------------------------------------------------------- /examples/sat/limsat.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/limsat.cc -------------------------------------------------------------------------------- /examples/sat/pigeonhole.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/pigeonhole.c -------------------------------------------------------------------------------- /examples/sat/pigeons.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/pigeons.sh -------------------------------------------------------------------------------- /examples/sat/sat.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/sat.cc -------------------------------------------------------------------------------- /examples/sat/sat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/sat.h -------------------------------------------------------------------------------- /examples/sat/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/solver.h -------------------------------------------------------------------------------- /examples/sat/sudoku2cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/sudoku2cnf.py -------------------------------------------------------------------------------- /examples/sat/sudoku2fcnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/sudoku2fcnf.py -------------------------------------------------------------------------------- /examples/sat/sudokus.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/sudokus.sh -------------------------------------------------------------------------------- /examples/sat/sum.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/sum.sh -------------------------------------------------------------------------------- /examples/sat/update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/update.sh -------------------------------------------------------------------------------- /examples/sat/vg.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sat/vg.sh -------------------------------------------------------------------------------- /examples/sudoku/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/CMakeLists.txt -------------------------------------------------------------------------------- /examples/sudoku/agent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/agent.h -------------------------------------------------------------------------------- /examples/sudoku/game.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/game.h -------------------------------------------------------------------------------- /examples/sudoku/kb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/kb.h -------------------------------------------------------------------------------- /examples/sudoku/printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/printer.h -------------------------------------------------------------------------------- /examples/sudoku/sudoku-js.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/sudoku-js.cc -------------------------------------------------------------------------------- /examples/sudoku/sudoku-js.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/sudoku-js.html -------------------------------------------------------------------------------- /examples/sudoku/sudoku.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/sudoku.cc -------------------------------------------------------------------------------- /examples/sudoku/sudokus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/sudokus.txt -------------------------------------------------------------------------------- /examples/sudoku/test-and-eval-sudokus.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/test-and-eval-sudokus.sh -------------------------------------------------------------------------------- /examples/sudoku/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/test.sh -------------------------------------------------------------------------------- /examples/sudoku/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/sudoku/timer.h -------------------------------------------------------------------------------- /examples/tui/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/CMakeLists.txt -------------------------------------------------------------------------------- /examples/tui/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/README.md -------------------------------------------------------------------------------- /examples/tui/battleship-pos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/battleship-pos.hs -------------------------------------------------------------------------------- /examples/tui/battleship.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/battleship.h -------------------------------------------------------------------------------- /examples/tui/battleship.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/battleship.txt -------------------------------------------------------------------------------- /examples/tui/example-battleship-1x4.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/example-battleship-1x4.limbo -------------------------------------------------------------------------------- /examples/tui/example-birth.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/example-birth.limbo -------------------------------------------------------------------------------- /examples/tui/example-rich-father.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/example-rich-father.limbo -------------------------------------------------------------------------------- /examples/tui/example-siblings.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/example-siblings.limbo -------------------------------------------------------------------------------- /examples/tui/example-unknown-father.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/example-unknown-father.limbo -------------------------------------------------------------------------------- /examples/tui/example-veggie.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/example-veggie.limbo -------------------------------------------------------------------------------- /examples/tui/sudoku-rep.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/sudoku-rep.py -------------------------------------------------------------------------------- /examples/tui/sudoku.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/sudoku.h -------------------------------------------------------------------------------- /examples/tui/test-bat.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-bat.limbo -------------------------------------------------------------------------------- /examples/tui/test-battleship-1x4.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-battleship-1x4.limbo -------------------------------------------------------------------------------- /examples/tui/test-control.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-control.limbo -------------------------------------------------------------------------------- /examples/tui/test-functions.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-functions.limbo -------------------------------------------------------------------------------- /examples/tui/test-guarantee.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-guarantee.limbo -------------------------------------------------------------------------------- /examples/tui/test-introspection-constant.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-introspection-constant.limbo -------------------------------------------------------------------------------- /examples/tui/test-introspection-disjunction.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-introspection-disjunction.limbo -------------------------------------------------------------------------------- /examples/tui/test-introspection-existential.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-introspection-existential.limbo -------------------------------------------------------------------------------- /examples/tui/test-parents-2.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-parents-2.limbo -------------------------------------------------------------------------------- /examples/tui/test-parents.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-parents.limbo -------------------------------------------------------------------------------- /examples/tui/test-propositions.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-propositions.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-1.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-1.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-10.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-10.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-11.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-11.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-12.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-12.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-13.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-13.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-14.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-14.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-15.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-15.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-16.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-16.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-17.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-17.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-2.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-2.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-3.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-3.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-4.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-4.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-5.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-5.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-6.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-6.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-7.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-7.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-8.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-8.limbo -------------------------------------------------------------------------------- /examples/tui/test-qbf-9.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-qbf-9.limbo -------------------------------------------------------------------------------- /examples/tui/test-rich-father.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-rich-father.limbo -------------------------------------------------------------------------------- /examples/tui/test-siblings.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-siblings.limbo -------------------------------------------------------------------------------- /examples/tui/test-unknown-father.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-unknown-father.limbo -------------------------------------------------------------------------------- /examples/tui/test-veggie-with-guarantee.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-veggie-with-guarantee.limbo -------------------------------------------------------------------------------- /examples/tui/test-veggie.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-veggie.limbo -------------------------------------------------------------------------------- /examples/tui/test-ws-zoomed-by.limbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/test-ws-zoomed-by.limbo -------------------------------------------------------------------------------- /examples/tui/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/timer.h -------------------------------------------------------------------------------- /examples/tui/tui-js.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/tui-js.cc -------------------------------------------------------------------------------- /examples/tui/tui-js.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/tui-js.html -------------------------------------------------------------------------------- /examples/tui/tui.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/tui/tui.cc -------------------------------------------------------------------------------- /examples/upload.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/upload.sh -------------------------------------------------------------------------------- /examples/zip.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/examples/zip.sh -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/limbo/clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/clause.h -------------------------------------------------------------------------------- /src/limbo/formula.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/formula.h -------------------------------------------------------------------------------- /src/limbo/internal/dense.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/dense.h -------------------------------------------------------------------------------- /src/limbo/internal/hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/hash.h -------------------------------------------------------------------------------- /src/limbo/internal/ints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/ints.h -------------------------------------------------------------------------------- /src/limbo/internal/maybe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/maybe.h -------------------------------------------------------------------------------- /src/limbo/internal/ringbuffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/ringbuffer.h -------------------------------------------------------------------------------- /src/limbo/internal/singleton.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/singleton.h -------------------------------------------------------------------------------- /src/limbo/internal/subsets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/internal/subsets.h -------------------------------------------------------------------------------- /src/limbo/io/input.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/io/input.h -------------------------------------------------------------------------------- /src/limbo/io/iocontext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/io/iocontext.h -------------------------------------------------------------------------------- /src/limbo/io/lexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/io/lexer.h -------------------------------------------------------------------------------- /src/limbo/io/output.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/io/output.h -------------------------------------------------------------------------------- /src/limbo/io/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/io/parser.h -------------------------------------------------------------------------------- /src/limbo/limsat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/limsat.h -------------------------------------------------------------------------------- /src/limbo/lit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/lit.h -------------------------------------------------------------------------------- /src/limbo/sat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/src/limbo/sat.h -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/clause.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/clause.cc -------------------------------------------------------------------------------- /tests/dense.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/dense.cc -------------------------------------------------------------------------------- /tests/formula.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/formula.cc -------------------------------------------------------------------------------- /tests/hash.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/hash.cc -------------------------------------------------------------------------------- /tests/ints.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/ints.cc -------------------------------------------------------------------------------- /tests/limsat.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/limsat.cc -------------------------------------------------------------------------------- /tests/lit.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/lit.cc -------------------------------------------------------------------------------- /tests/ringbuffer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/ringbuffer.cc -------------------------------------------------------------------------------- /tests/sat.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/sat.cc -------------------------------------------------------------------------------- /tests/singleton.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/singleton.cc -------------------------------------------------------------------------------- /tests/subsets.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/subsets.cc -------------------------------------------------------------------------------- /tests/syntax.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/syntax.cc -------------------------------------------------------------------------------- /tests/syntax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/schwering/limbo/HEAD/tests/syntax.h --------------------------------------------------------------------------------