├── .github └── workflows │ └── ci-build.yml ├── .gitignore ├── CHANGELOG.md ├── CMakeLists.txt ├── LICENSE ├── README.md ├── cmake ├── FindArgp.cmake ├── FindGMP.cmake ├── FindSphinx.cmake ├── UpdateGHPages.cmake └── sylvan-config.cmake.in ├── docs ├── conf.py.in └── index.rst ├── examples ├── CMakeLists.txt ├── bddmc.c ├── getrss.c ├── getrss.h ├── ldd2bdd.c ├── ldd2meddly.cpp ├── lddmc.c ├── medmc.cpp ├── nqueens.c └── simple.cpp ├── models ├── anderson.4.bdd ├── anderson.4.ldd ├── anderson.6.ldd ├── anderson.8.ldd ├── bakery.4.bdd ├── bakery.4.ldd ├── bakery.5.ldd ├── bakery.6.ldd ├── bakery.7.ldd ├── blocks.2.ldd ├── blocks.3.ldd ├── blocks.4.ldd ├── collision.4.bdd ├── collision.4.ldd ├── collision.5.bdd ├── collision.5.ldd ├── collision.6.bdd ├── collision.6.ldd ├── lifts.6.bdd ├── lifts.6.ldd ├── lifts.7.bdd ├── lifts.7.ldd ├── schedule_world.2.bdd ├── schedule_world.2.ldd ├── schedule_world.3.bdd └── schedule_world.3.ldd ├── src ├── CMakeLists.txt ├── avl.h ├── sha2.c ├── sha2.h ├── sylvan.h ├── sylvan.pc.in ├── sylvan_align.h ├── sylvan_bdd.c ├── sylvan_bdd.h ├── sylvan_cache.c ├── sylvan_cache.h ├── sylvan_common.c ├── sylvan_common.h ├── sylvan_config.h ├── sylvan_gmp.c ├── sylvan_gmp.h ├── sylvan_hash.c ├── sylvan_hash.h ├── sylvan_int.h ├── sylvan_ldd.c ├── sylvan_ldd.h ├── sylvan_ldd_int.h ├── sylvan_mt.c ├── sylvan_mt.h ├── sylvan_mtbdd.c ├── sylvan_mtbdd.h ├── sylvan_mtbdd_int.h ├── sylvan_obj.cpp ├── sylvan_obj.hpp ├── sylvan_refs.c ├── sylvan_refs.h ├── sylvan_sl.c ├── sylvan_sl.h ├── sylvan_stats.c ├── sylvan_stats.h ├── sylvan_table.c ├── sylvan_table.h ├── sylvan_tls.h ├── sylvan_zdd.c ├── sylvan_zdd.h └── sylvan_zdd_int.h └── test ├── CMakeLists.txt ├── test_assert.h ├── test_basic.c ├── test_cxx.cpp └── test_zdd.c /.github/workflows/ci-build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/.github/workflows/ci-build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/README.md -------------------------------------------------------------------------------- /cmake/FindArgp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/cmake/FindArgp.cmake -------------------------------------------------------------------------------- /cmake/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/cmake/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/FindSphinx.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/cmake/FindSphinx.cmake -------------------------------------------------------------------------------- /cmake/UpdateGHPages.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/cmake/UpdateGHPages.cmake -------------------------------------------------------------------------------- /cmake/sylvan-config.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/cmake/sylvan-config.cmake.in -------------------------------------------------------------------------------- /docs/conf.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/docs/conf.py.in -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/docs/index.rst -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /examples/bddmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/bddmc.c -------------------------------------------------------------------------------- /examples/getrss.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/getrss.c -------------------------------------------------------------------------------- /examples/getrss.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/getrss.h -------------------------------------------------------------------------------- /examples/ldd2bdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/ldd2bdd.c -------------------------------------------------------------------------------- /examples/ldd2meddly.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/ldd2meddly.cpp -------------------------------------------------------------------------------- /examples/lddmc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/lddmc.c -------------------------------------------------------------------------------- /examples/medmc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/medmc.cpp -------------------------------------------------------------------------------- /examples/nqueens.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/nqueens.c -------------------------------------------------------------------------------- /examples/simple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/examples/simple.cpp -------------------------------------------------------------------------------- /models/anderson.4.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/anderson.4.bdd -------------------------------------------------------------------------------- /models/anderson.4.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/anderson.4.ldd -------------------------------------------------------------------------------- /models/anderson.6.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/anderson.6.ldd -------------------------------------------------------------------------------- /models/anderson.8.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/anderson.8.ldd -------------------------------------------------------------------------------- /models/bakery.4.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/bakery.4.bdd -------------------------------------------------------------------------------- /models/bakery.4.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/bakery.4.ldd -------------------------------------------------------------------------------- /models/bakery.5.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/bakery.5.ldd -------------------------------------------------------------------------------- /models/bakery.6.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/bakery.6.ldd -------------------------------------------------------------------------------- /models/bakery.7.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/bakery.7.ldd -------------------------------------------------------------------------------- /models/blocks.2.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/blocks.2.ldd -------------------------------------------------------------------------------- /models/blocks.3.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/blocks.3.ldd -------------------------------------------------------------------------------- /models/blocks.4.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/blocks.4.ldd -------------------------------------------------------------------------------- /models/collision.4.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/collision.4.bdd -------------------------------------------------------------------------------- /models/collision.4.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/collision.4.ldd -------------------------------------------------------------------------------- /models/collision.5.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/collision.5.bdd -------------------------------------------------------------------------------- /models/collision.5.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/collision.5.ldd -------------------------------------------------------------------------------- /models/collision.6.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/collision.6.bdd -------------------------------------------------------------------------------- /models/collision.6.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/collision.6.ldd -------------------------------------------------------------------------------- /models/lifts.6.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/lifts.6.bdd -------------------------------------------------------------------------------- /models/lifts.6.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/lifts.6.ldd -------------------------------------------------------------------------------- /models/lifts.7.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/lifts.7.bdd -------------------------------------------------------------------------------- /models/lifts.7.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/lifts.7.ldd -------------------------------------------------------------------------------- /models/schedule_world.2.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/schedule_world.2.bdd -------------------------------------------------------------------------------- /models/schedule_world.2.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/schedule_world.2.ldd -------------------------------------------------------------------------------- /models/schedule_world.3.bdd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/schedule_world.3.bdd -------------------------------------------------------------------------------- /models/schedule_world.3.ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/models/schedule_world.3.ldd -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/avl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/avl.h -------------------------------------------------------------------------------- /src/sha2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sha2.c -------------------------------------------------------------------------------- /src/sha2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sha2.h -------------------------------------------------------------------------------- /src/sylvan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan.h -------------------------------------------------------------------------------- /src/sylvan.pc.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan.pc.in -------------------------------------------------------------------------------- /src/sylvan_align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_align.h -------------------------------------------------------------------------------- /src/sylvan_bdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_bdd.c -------------------------------------------------------------------------------- /src/sylvan_bdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_bdd.h -------------------------------------------------------------------------------- /src/sylvan_cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_cache.c -------------------------------------------------------------------------------- /src/sylvan_cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_cache.h -------------------------------------------------------------------------------- /src/sylvan_common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_common.c -------------------------------------------------------------------------------- /src/sylvan_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_common.h -------------------------------------------------------------------------------- /src/sylvan_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_config.h -------------------------------------------------------------------------------- /src/sylvan_gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_gmp.c -------------------------------------------------------------------------------- /src/sylvan_gmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_gmp.h -------------------------------------------------------------------------------- /src/sylvan_hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_hash.c -------------------------------------------------------------------------------- /src/sylvan_hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_hash.h -------------------------------------------------------------------------------- /src/sylvan_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_int.h -------------------------------------------------------------------------------- /src/sylvan_ldd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_ldd.c -------------------------------------------------------------------------------- /src/sylvan_ldd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_ldd.h -------------------------------------------------------------------------------- /src/sylvan_ldd_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_ldd_int.h -------------------------------------------------------------------------------- /src/sylvan_mt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_mt.c -------------------------------------------------------------------------------- /src/sylvan_mt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_mt.h -------------------------------------------------------------------------------- /src/sylvan_mtbdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_mtbdd.c -------------------------------------------------------------------------------- /src/sylvan_mtbdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_mtbdd.h -------------------------------------------------------------------------------- /src/sylvan_mtbdd_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_mtbdd_int.h -------------------------------------------------------------------------------- /src/sylvan_obj.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_obj.cpp -------------------------------------------------------------------------------- /src/sylvan_obj.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_obj.hpp -------------------------------------------------------------------------------- /src/sylvan_refs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_refs.c -------------------------------------------------------------------------------- /src/sylvan_refs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_refs.h -------------------------------------------------------------------------------- /src/sylvan_sl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_sl.c -------------------------------------------------------------------------------- /src/sylvan_sl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_sl.h -------------------------------------------------------------------------------- /src/sylvan_stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_stats.c -------------------------------------------------------------------------------- /src/sylvan_stats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_stats.h -------------------------------------------------------------------------------- /src/sylvan_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_table.c -------------------------------------------------------------------------------- /src/sylvan_table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_table.h -------------------------------------------------------------------------------- /src/sylvan_tls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_tls.h -------------------------------------------------------------------------------- /src/sylvan_zdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_zdd.c -------------------------------------------------------------------------------- /src/sylvan_zdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_zdd.h -------------------------------------------------------------------------------- /src/sylvan_zdd_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/src/sylvan_zdd_int.h -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/test_assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/test/test_assert.h -------------------------------------------------------------------------------- /test/test_basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/test/test_basic.c -------------------------------------------------------------------------------- /test/test_cxx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/test/test_cxx.cpp -------------------------------------------------------------------------------- /test/test_zdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/utwente-fmt/sylvan/HEAD/test/test_zdd.c --------------------------------------------------------------------------------