├── .clang-format ├── .github └── workflows │ ├── coverage.yml │ ├── linux.yml │ ├── macos.yml │ └── windows.yml ├── .gitignore ├── .readthedocs.yml ├── CMakeLists.txt ├── LICENSE ├── README.md ├── bill.svg ├── docs ├── Doxyfile ├── Makefile ├── changelog.rst ├── conf.py ├── dd │ └── zdd.rst ├── index.rst ├── installation.rst ├── introduction.rst ├── requirements.txt └── sat │ ├── cardinality.rst │ ├── encodings.rst │ ├── interface_methods.rst │ ├── solvers.rst │ └── unsat_cores.rst ├── examples └── CMakeLists.txt ├── experiments └── CMakeLists.txt ├── include └── bill │ ├── bill.hpp │ ├── dd │ ├── cudd_zdd.hpp │ └── zdd.hpp │ ├── sat │ ├── cardinality.hpp │ ├── incremental_totalizer_cardinality.hpp │ ├── interface │ │ ├── abc_bmcg.hpp │ │ ├── abc_bsat2.hpp │ │ ├── common.hpp │ │ ├── ghack.hpp │ │ ├── glucose.hpp │ │ ├── maple.hpp │ │ ├── types.hpp │ │ └── z3.hpp │ ├── solver.hpp │ ├── solver │ │ ├── abc.hpp │ │ ├── abc │ │ │ ├── AbcGlucose.h │ │ │ ├── Alg.h │ │ │ ├── Alloc.h │ │ │ ├── BoundedQueue.h │ │ │ ├── Constants.h │ │ │ ├── Dimacs.h │ │ │ ├── Heap.h │ │ │ ├── IntTypes.h │ │ │ ├── Map.h │ │ │ ├── Queue.h │ │ │ ├── SimpSolver.h │ │ │ ├── Solver.h │ │ │ ├── SolverTypes.h │ │ │ ├── Sort.h │ │ │ ├── Vec.h │ │ │ ├── XAlloc.h │ │ │ ├── abc_global.h │ │ │ ├── abc_namespaces.h │ │ │ ├── pstdint.h │ │ │ ├── satClause.h │ │ │ ├── satSolver.h │ │ │ ├── satStore.h │ │ │ ├── satVec.h │ │ │ ├── system.h │ │ │ ├── utilDouble.h │ │ │ ├── vecInt.h │ │ │ └── vecWec.h │ │ ├── ghack.hpp │ │ ├── glucose.hpp │ │ └── maple.hpp │ ├── tseytin.hpp │ ├── unsat_cores.hpp │ └── xor_clauses.hpp │ └── utils │ ├── hash.hpp │ └── platforms.hpp ├── lib ├── CMakeLists.txt ├── cudd │ ├── CMakeLists.txt │ ├── LICENSE │ ├── config-cmake.h.in │ ├── config.h │ ├── cplusplus │ │ ├── CMakeLists.txt │ │ ├── cuddObj.cc │ │ ├── cuddObj.hh │ │ ├── testmulti.cc │ │ └── testobj.cc │ ├── cudd │ │ ├── CMakeLists.txt │ │ ├── cudd.h │ │ ├── cuddAPI.c │ │ ├── cuddAddAbs.c │ │ ├── cuddAddApply.c │ │ ├── cuddAddFind.c │ │ ├── cuddAddInv.c │ │ ├── cuddAddIte.c │ │ ├── cuddAddNeg.c │ │ ├── cuddAddWalsh.c │ │ ├── cuddAndAbs.c │ │ ├── cuddAnneal.c │ │ ├── cuddApa.c │ │ ├── cuddApprox.c │ │ ├── cuddBddAbs.c │ │ ├── cuddBddCorr.c │ │ ├── cuddBddIte.c │ │ ├── cuddBridge.c │ │ ├── cuddCache.c │ │ ├── cuddCheck.c │ │ ├── cuddClip.c │ │ ├── cuddCof.c │ │ ├── cuddCompose.c │ │ ├── cuddDecomp.c │ │ ├── cuddEssent.c │ │ ├── cuddExact.c │ │ ├── cuddExport.c │ │ ├── cuddGenCof.c │ │ ├── cuddGenetic.c │ │ ├── cuddGroup.c │ │ ├── cuddHarwell.c │ │ ├── cuddInit.c │ │ ├── cuddInt.h │ │ ├── cuddInteract.c │ │ ├── cuddLCache.c │ │ ├── cuddLevelQ.c │ │ ├── cuddLinear.c │ │ ├── cuddLiteral.c │ │ ├── cuddMatMult.c │ │ ├── cuddPriority.c │ │ ├── cuddRead.c │ │ ├── cuddRef.c │ │ ├── cuddReorder.c │ │ ├── cuddSat.c │ │ ├── cuddSign.c │ │ ├── cuddSolve.c │ │ ├── cuddSplit.c │ │ ├── cuddSubsetHB.c │ │ ├── cuddSubsetSP.c │ │ ├── cuddSymmetry.c │ │ ├── cuddTable.c │ │ ├── cuddUtil.c │ │ ├── cuddWindow.c │ │ ├── cuddZddCount.c │ │ ├── cuddZddFuncs.c │ │ ├── cuddZddGroup.c │ │ ├── cuddZddIsop.c │ │ ├── cuddZddLin.c │ │ ├── cuddZddMisc.c │ │ ├── cuddZddPort.c │ │ ├── cuddZddReord.c │ │ ├── cuddZddSetop.c │ │ ├── cuddZddSymm.c │ │ ├── cuddZddUtil.c │ │ ├── testcudd.c │ │ └── testextra.c │ ├── epd │ │ ├── CMakeLists.txt │ │ ├── epd.c │ │ ├── epd.h │ │ └── epdInt.h │ ├── mtr │ │ ├── CMakeLists.txt │ │ ├── mtr.h │ │ ├── mtrBasic.c │ │ ├── mtrGroup.c │ │ ├── mtrInt.h │ │ └── testmtr.c │ ├── st │ │ ├── CMakeLists.txt │ │ ├── st.c │ │ ├── st.h │ │ └── testst.c │ └── util │ │ ├── CMakeLists.txt │ │ ├── cpu_stats.c │ │ ├── cpu_time.c │ │ ├── cstringstream.c │ │ ├── cstringstream.h │ │ ├── datalimit.c │ │ ├── pathsearch.c │ │ ├── pipefork.c │ │ ├── prtime.c │ │ ├── safe_mem.c │ │ ├── strsav.c │ │ ├── texpand.c │ │ ├── ucbqsort.c │ │ └── util.h └── fmt │ └── fmt │ ├── chrono.h │ ├── color.h │ ├── compile.h │ ├── core.h │ ├── format-inl.h │ ├── format.h │ ├── locale.h │ ├── ostream.h │ ├── posix.h │ ├── printf.h │ ├── ranges.h │ └── safe-duration-cast.h └── test ├── CMakeLists.txt ├── catch2.hpp ├── catch2 └── catch.hpp ├── dd ├── cudd_zdd.cpp └── zdd.cpp ├── sat ├── cardinality.cpp ├── sat.cpp ├── solver_types.hpp └── unsat_cores.cpp └── test.cpp /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.clang-format -------------------------------------------------------------------------------- /.github/workflows/coverage.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.github/workflows/coverage.yml -------------------------------------------------------------------------------- /.github/workflows/linux.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.github/workflows/linux.yml -------------------------------------------------------------------------------- /.github/workflows/macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.github/workflows/macos.yml -------------------------------------------------------------------------------- /.github/workflows/windows.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.github/workflows/windows.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.gitignore -------------------------------------------------------------------------------- /.readthedocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/.readthedocs.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/README.md -------------------------------------------------------------------------------- /bill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/bill.svg -------------------------------------------------------------------------------- /docs/Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/Doxyfile -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/changelog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/changelog.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/dd/zdd.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/dd/zdd.rst -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/installation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/installation.rst -------------------------------------------------------------------------------- /docs/introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/introduction.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- 1 | breathe 2 | -------------------------------------------------------------------------------- /docs/sat/cardinality.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/sat/cardinality.rst -------------------------------------------------------------------------------- /docs/sat/encodings.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/sat/encodings.rst -------------------------------------------------------------------------------- /docs/sat/interface_methods.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/sat/interface_methods.rst -------------------------------------------------------------------------------- /docs/sat/solvers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/sat/solvers.rst -------------------------------------------------------------------------------- /docs/sat/unsat_cores.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/docs/sat/unsat_cores.rst -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /experiments/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/experiments/CMakeLists.txt -------------------------------------------------------------------------------- /include/bill/bill.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/bill.hpp -------------------------------------------------------------------------------- /include/bill/dd/cudd_zdd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/dd/cudd_zdd.hpp -------------------------------------------------------------------------------- /include/bill/dd/zdd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/dd/zdd.hpp -------------------------------------------------------------------------------- /include/bill/sat/cardinality.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/cardinality.hpp -------------------------------------------------------------------------------- /include/bill/sat/incremental_totalizer_cardinality.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/incremental_totalizer_cardinality.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/abc_bmcg.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/abc_bmcg.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/abc_bsat2.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/abc_bsat2.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/common.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/common.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/ghack.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/ghack.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/glucose.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/glucose.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/maple.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/maple.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/types.hpp -------------------------------------------------------------------------------- /include/bill/sat/interface/z3.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/interface/z3.hpp -------------------------------------------------------------------------------- /include/bill/sat/solver.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver.hpp -------------------------------------------------------------------------------- /include/bill/sat/solver/abc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc.hpp -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/AbcGlucose.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/AbcGlucose.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Alg.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Alloc.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/BoundedQueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/BoundedQueue.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Constants.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Dimacs.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Heap.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/IntTypes.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Map.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Queue.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/SimpSolver.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Solver.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/SolverTypes.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Sort.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/Vec.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/XAlloc.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/abc_global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/abc_global.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/abc_namespaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/abc_namespaces.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/pstdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/pstdint.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/satClause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/satClause.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/satSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/satSolver.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/satStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/satStore.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/satVec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/satVec.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/system.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/system.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/utilDouble.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/utilDouble.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/vecInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/vecInt.h -------------------------------------------------------------------------------- /include/bill/sat/solver/abc/vecWec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/abc/vecWec.h -------------------------------------------------------------------------------- /include/bill/sat/solver/ghack.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/ghack.hpp -------------------------------------------------------------------------------- /include/bill/sat/solver/glucose.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/glucose.hpp -------------------------------------------------------------------------------- /include/bill/sat/solver/maple.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/solver/maple.hpp -------------------------------------------------------------------------------- /include/bill/sat/tseytin.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/tseytin.hpp -------------------------------------------------------------------------------- /include/bill/sat/unsat_cores.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/unsat_cores.hpp -------------------------------------------------------------------------------- /include/bill/sat/xor_clauses.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/sat/xor_clauses.hpp -------------------------------------------------------------------------------- /include/bill/utils/hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/utils/hash.hpp -------------------------------------------------------------------------------- /include/bill/utils/platforms.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/include/bill/utils/platforms.hpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/LICENSE -------------------------------------------------------------------------------- /lib/cudd/config-cmake.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/config-cmake.h.in -------------------------------------------------------------------------------- /lib/cudd/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/config.h -------------------------------------------------------------------------------- /lib/cudd/cplusplus/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cplusplus/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/cplusplus/cuddObj.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cplusplus/cuddObj.cc -------------------------------------------------------------------------------- /lib/cudd/cplusplus/cuddObj.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cplusplus/cuddObj.hh -------------------------------------------------------------------------------- /lib/cudd/cplusplus/testmulti.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cplusplus/testmulti.cc -------------------------------------------------------------------------------- /lib/cudd/cplusplus/testobj.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cplusplus/testobj.cc -------------------------------------------------------------------------------- /lib/cudd/cudd/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/cudd/cudd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cudd.h -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAPI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAPI.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddAbs.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddApply.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddApply.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddFind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddFind.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddInv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddInv.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddIte.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddNeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddNeg.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAddWalsh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAddWalsh.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAndAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAndAbs.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddAnneal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddAnneal.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddApa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddApa.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddApprox.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddApprox.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddBddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddBddAbs.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddBddCorr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddBddCorr.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddBddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddBddIte.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddBridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddBridge.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddCache.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddCheck.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddClip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddClip.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddCof.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddCompose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddCompose.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddDecomp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddDecomp.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddEssent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddEssent.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddExact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddExact.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddExport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddExport.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddGenCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddGenCof.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddGenetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddGenetic.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddGroup.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddHarwell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddHarwell.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddInit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddInit.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddInt.h -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddInteract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddInteract.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddLCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddLCache.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddLevelQ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddLevelQ.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddLinear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddLinear.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddLiteral.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddLiteral.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddMatMult.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddMatMult.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddPriority.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddPriority.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddRead.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddRead.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddRef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddRef.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddReorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddReorder.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSat.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSign.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSolve.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSplit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSplit.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSubsetHB.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSubsetHB.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSubsetSP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSubsetSP.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddSymmetry.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddSymmetry.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddTable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddTable.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddUtil.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddWindow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddWindow.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddCount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddCount.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddFuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddFuncs.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddGroup.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddIsop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddIsop.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddLin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddLin.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddMisc.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddPort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddPort.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddReord.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddReord.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddSetop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddSetop.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddSymm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddSymm.c -------------------------------------------------------------------------------- /lib/cudd/cudd/cuddZddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/cuddZddUtil.c -------------------------------------------------------------------------------- /lib/cudd/cudd/testcudd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/testcudd.c -------------------------------------------------------------------------------- /lib/cudd/cudd/testextra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/cudd/testextra.c -------------------------------------------------------------------------------- /lib/cudd/epd/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/epd/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/epd/epd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/epd/epd.c -------------------------------------------------------------------------------- /lib/cudd/epd/epd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/epd/epd.h -------------------------------------------------------------------------------- /lib/cudd/epd/epdInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/epd/epdInt.h -------------------------------------------------------------------------------- /lib/cudd/mtr/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/mtr/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/mtr/mtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/mtr/mtr.h -------------------------------------------------------------------------------- /lib/cudd/mtr/mtrBasic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/mtr/mtrBasic.c -------------------------------------------------------------------------------- /lib/cudd/mtr/mtrGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/mtr/mtrGroup.c -------------------------------------------------------------------------------- /lib/cudd/mtr/mtrInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/mtr/mtrInt.h -------------------------------------------------------------------------------- /lib/cudd/mtr/testmtr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/mtr/testmtr.c -------------------------------------------------------------------------------- /lib/cudd/st/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/st/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/st/st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/st/st.c -------------------------------------------------------------------------------- /lib/cudd/st/st.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/st/st.h -------------------------------------------------------------------------------- /lib/cudd/st/testst.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/st/testst.c -------------------------------------------------------------------------------- /lib/cudd/util/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/CMakeLists.txt -------------------------------------------------------------------------------- /lib/cudd/util/cpu_stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/cpu_stats.c -------------------------------------------------------------------------------- /lib/cudd/util/cpu_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/cpu_time.c -------------------------------------------------------------------------------- /lib/cudd/util/cstringstream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/cstringstream.c -------------------------------------------------------------------------------- /lib/cudd/util/cstringstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/cstringstream.h -------------------------------------------------------------------------------- /lib/cudd/util/datalimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/datalimit.c -------------------------------------------------------------------------------- /lib/cudd/util/pathsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/pathsearch.c -------------------------------------------------------------------------------- /lib/cudd/util/pipefork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/pipefork.c -------------------------------------------------------------------------------- /lib/cudd/util/prtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/prtime.c -------------------------------------------------------------------------------- /lib/cudd/util/safe_mem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/safe_mem.c -------------------------------------------------------------------------------- /lib/cudd/util/strsav.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/strsav.c -------------------------------------------------------------------------------- /lib/cudd/util/texpand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/texpand.c -------------------------------------------------------------------------------- /lib/cudd/util/ucbqsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/ucbqsort.c -------------------------------------------------------------------------------- /lib/cudd/util/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/cudd/util/util.h -------------------------------------------------------------------------------- /lib/fmt/fmt/chrono.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/chrono.h -------------------------------------------------------------------------------- /lib/fmt/fmt/color.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/color.h -------------------------------------------------------------------------------- /lib/fmt/fmt/compile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/compile.h -------------------------------------------------------------------------------- /lib/fmt/fmt/core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/core.h -------------------------------------------------------------------------------- /lib/fmt/fmt/format-inl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/format-inl.h -------------------------------------------------------------------------------- /lib/fmt/fmt/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/format.h -------------------------------------------------------------------------------- /lib/fmt/fmt/locale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/locale.h -------------------------------------------------------------------------------- /lib/fmt/fmt/ostream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/ostream.h -------------------------------------------------------------------------------- /lib/fmt/fmt/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/posix.h -------------------------------------------------------------------------------- /lib/fmt/fmt/printf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/printf.h -------------------------------------------------------------------------------- /lib/fmt/fmt/ranges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/ranges.h -------------------------------------------------------------------------------- /lib/fmt/fmt/safe-duration-cast.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/lib/fmt/fmt/safe-duration-cast.h -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/catch2.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/catch2.hpp -------------------------------------------------------------------------------- /test/catch2/catch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/catch2/catch.hpp -------------------------------------------------------------------------------- /test/dd/cudd_zdd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/dd/cudd_zdd.cpp -------------------------------------------------------------------------------- /test/dd/zdd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/dd/zdd.cpp -------------------------------------------------------------------------------- /test/sat/cardinality.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/sat/cardinality.cpp -------------------------------------------------------------------------------- /test/sat/sat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/sat/sat.cpp -------------------------------------------------------------------------------- /test/sat/solver_types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/sat/solver_types.hpp -------------------------------------------------------------------------------- /test/sat/unsat_cores.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/sat/unsat_cores.cpp -------------------------------------------------------------------------------- /test/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lsils/bill/HEAD/test/test.cpp --------------------------------------------------------------------------------