├── .gitignore ├── .gitmodules ├── .readthedocs.yml ├── .travis.yml ├── CMakeLists.txt ├── LICENSE ├── README.md ├── abc ├── AbcGlucose.cpp ├── CMakeLists.txt ├── Glucose.cpp ├── SimpSolver.cpp ├── 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 ├── satSolver.cpp └── satStore.cpp ├── bench ├── CMakeLists.txt └── synth_bench.cpp ├── docs ├── .gitignore ├── Doxyfile ├── Makefile ├── acknowledgments.rst ├── conf.py ├── encoders.rst ├── examples.rst ├── index.rst ├── installation.rst ├── introduction.rst ├── requirements.txt ├── specifications.rst └── synthesizers.rst ├── examples └── CMakeLists.txt ├── glucose ├── CMakeLists.txt ├── core │ ├── BoundedQueue.h │ ├── CMakeLists.txt │ ├── Constants.h │ ├── Dimacs.h │ ├── Main.cc │ ├── Makefile │ ├── Solver.cc │ ├── Solver.h │ └── SolverTypes.h ├── mtl │ ├── Alg.h │ ├── Alloc.h │ ├── Heap.h │ ├── IntTypes.h │ ├── Map.h │ ├── Queue.h │ ├── Sort.h │ ├── Vec.h │ ├── XAlloc.h │ ├── config.mk │ └── template.mk ├── simp │ ├── Main.cc │ ├── Makefile │ ├── SimpSolver.cc │ └── SimpSolver.h └── utils │ ├── Makefile │ ├── Options.cc │ ├── Options.h │ ├── ParseUtils.h │ ├── System.cc │ └── System.h ├── include ├── CMakeLists.txt └── percy │ ├── chain.hpp │ ├── cnf.hpp │ ├── concurrentqueue.h │ ├── dag.hpp │ ├── dag_generation.hpp │ ├── encoders.hpp │ ├── encoders │ ├── aig_encoder.hpp │ ├── ditt_encoder.hpp │ ├── ditt_maj_encoder.hpp │ ├── encoder.hpp │ ├── maj_encoder.hpp │ ├── mig_encoder.hpp │ ├── msv_encoder.hpp │ ├── partial_dag_encoder.hpp │ ├── ssv_dag_encoder.hpp │ ├── ssv_encoder.hpp │ ├── ssv_fence2_encoder.hpp │ └── ssv_fence_encoder.hpp │ ├── fence.hpp │ ├── io.hpp │ ├── mig.hpp │ ├── misc.hpp │ ├── partial_dag.hpp │ ├── percy.hpp │ ├── sat_circuits.hpp │ ├── solvers.hpp │ ├── solvers │ ├── bmcg_sat.hpp │ ├── bsat2.hpp │ ├── cmsat.hpp │ ├── glucose.hpp │ ├── satoko.hpp │ └── solver_wrapper.hpp │ ├── spec.hpp │ └── tt_utils.hpp ├── memcheck.sh ├── nauty ├── .gitignore ├── CMakeLists.txt ├── COPYRIGHT ├── NRswitchg.c ├── README ├── README_24 ├── addedgeg.c ├── amtog.c ├── biplabg.c ├── bliss2dre.c ├── blisstog.c ├── callgeng.c ├── catg.c ├── changes24-26.txt ├── checks6.c ├── complg.c ├── config.guess ├── config.sub ├── config.txt ├── configure ├── configure.ac ├── converseg.c ├── copyg.c ├── cubhamg.c ├── deledgeg.c ├── delptg.c ├── directg.c ├── dreadnaut.c ├── dretodot.c ├── dretog.c ├── formats.txt ├── genbg.c ├── geng.c ├── genquarticg.c ├── genrang.c ├── genspecialg.c ├── gentourng.c ├── gentreeg.c ├── gtnauty.c ├── gtools-h.in ├── gtools.c ├── gutil1.c ├── gutil2.c ├── gutils.h ├── hamheuristic.c ├── install-sh ├── labelg.c ├── linegraphg.c ├── listg.c ├── makefile.basic ├── makefile.in ├── multig.c ├── naucompare.c ├── naugraph.c ├── naugroup.c ├── naugroup.h ├── naugstrings.c ├── naugstrings.h ├── naurng.c ├── naurng.h ├── nausparse.c ├── nausparse.h ├── nautaux.c ├── nautaux.h ├── nautest.c ├── nautest1.dre ├── nautest1a.ans ├── nautest1a.dre ├── nautest1b.ans ├── nautest1b.dre ├── nautest1c.ans ├── nautest1c.dre ├── nautest2.dre ├── nautest2a.ans ├── nautest2b.ans ├── nautest2c.ans ├── nautesta.ans ├── nautestb.ans ├── nautestc.ans ├── nautestd.ans ├── nauteste.ans ├── nautestf.ans ├── nautestg.ans ├── nauthread1.c ├── nauthread2.c ├── nautil.c ├── nautinv.c ├── nautinv.h ├── naututil-h.in ├── naututil.c ├── naututil.h ├── nauty-h.in ├── nauty.c ├── nautyex1.c ├── nautyex10.c ├── nautyex2.c ├── nautyex3.c ├── nautyex4.c ├── nautyex5.c ├── nautyex6.c ├── nautyex7.c ├── nautyex8.c ├── nautyex9.c ├── newedgeg.c ├── nug26.pdf ├── planarg.c ├── planarity.c ├── planarity.h ├── poptest.c ├── quarticirred28.h ├── ranlabg.c ├── rng.c ├── rng.h ├── runalltests ├── schreier.c ├── schreier.h ├── schreier.txt ├── shortg.c ├── showg.c ├── sorttemplates.c ├── splay.c ├── subdivideg.c ├── sumlines.c ├── testg.c ├── traces.c ├── traces.h ├── twohamg.c ├── vcolg.c └── watercluster2.c ├── percy.svg ├── satoko ├── CMakeLists.txt ├── LICENSE ├── act_clause.h ├── act_var.h ├── cdb.h ├── clause.h ├── cnf_reader.cpp ├── module.make ├── satoko.h ├── solver.cpp ├── solver.h ├── solver_api.cpp ├── types.h ├── utils │ ├── b_queue.h │ ├── heap.h │ ├── mem.h │ ├── misc.h │ ├── sdbl.h │ ├── sort.h │ └── vec │ │ ├── vec_char.h │ │ ├── vec_flt.h │ │ ├── vec_int.h │ │ ├── vec_sdbl.h │ │ └── vec_uint.h └── watch_list.h └── test ├── CMakeLists.txt ├── aig_synthesis.cpp ├── arbitrary_fanin.cpp ├── bitset.cpp ├── bmcg_sat_equivalence.cpp ├── cardinality.cpp ├── cms_equivalence.cpp ├── cnf_gen.cpp ├── dag_generation.cpp ├── dag_generation_starting_point.cpp ├── dag_isomorphism.cpp ├── dag_synth_equivalence.cpp ├── dag_to_dot.cpp ├── denormalization.cpp ├── ditt_equivalence.cpp ├── ditt_maj_synthesis.cpp ├── dont_cares.cpp ├── fence_counting.cpp ├── fence_equivalence.cpp ├── fence_po_filter.cpp ├── fence_profiling.cpp ├── find_dag_equivalence.cpp ├── floating_dag.cpp ├── generate_solutions.cpp ├── generate_struct_solutions.cpp ├── glucose_equivalence.cpp ├── isomorphic_synth_equivalence.cpp ├── link_test1.cpp ├── link_test2.cpp ├── maj_decomposition.cpp ├── maj_enumerate.cpp ├── maj_equivalence.cpp ├── msv_equivalence.cpp ├── npn_classification.cpp ├── nr_solutions_equivalence.cpp ├── parallel_fence_equivalence.cpp ├── parallel_fence_generation.cpp ├── parallel_fence_profiling.cpp ├── parallel_partial_dag_equivalence.cpp ├── parallel_partial_dag_profiling.cpp ├── parallel_partial_dag_ser_equivalence.cpp ├── parallel_pd3_ditt_maj_equivalence.cpp ├── parallel_synthesis.cpp ├── partial_dag3_count.cpp ├── partial_dag3_ser_equivalence.cpp ├── partial_dag_count.cpp ├── partial_dag_enum_bench.cpp ├── partial_dag_enum_equivalence.cpp ├── partial_dag_equivalence.cpp ├── partial_dag_generation.cpp ├── partial_dag_isomorphism.cpp ├── partial_dag_ser_equivalence.cpp ├── partial_dag_serialization.cpp ├── pd1.bin ├── pd2.bin ├── pd3.bin ├── pd3_ditt_maj_enumerate.cpp ├── pd3_ditt_maj_equivalence.cpp ├── pd4.bin ├── pd5.bin ├── pd6.bin ├── pd7.bin ├── pd8.bin ├── pd9.bin ├── pd_profiling.cpp ├── primitive_synthesis.cpp ├── satoko_equivalence.cpp ├── std_profiling.cpp ├── synth3_equivalence.cpp ├── synth_equivalence.cpp ├── synthesizer.cpp ├── syrup_equivalence.cpp ├── syrup_multi-threading.cpp ├── thread_overhead.cpp └── timeout.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/.gitmodules -------------------------------------------------------------------------------- /.readthedocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/.readthedocs.yml -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/.travis.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/README.md -------------------------------------------------------------------------------- /abc/AbcGlucose.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/AbcGlucose.cpp -------------------------------------------------------------------------------- /abc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/CMakeLists.txt -------------------------------------------------------------------------------- /abc/Glucose.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/Glucose.cpp -------------------------------------------------------------------------------- /abc/SimpSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/SimpSolver.cpp -------------------------------------------------------------------------------- /abc/abc/AbcGlucose.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/AbcGlucose.h -------------------------------------------------------------------------------- /abc/abc/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Alg.h -------------------------------------------------------------------------------- /abc/abc/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Alloc.h -------------------------------------------------------------------------------- /abc/abc/BoundedQueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/BoundedQueue.h -------------------------------------------------------------------------------- /abc/abc/Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Constants.h -------------------------------------------------------------------------------- /abc/abc/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Dimacs.h -------------------------------------------------------------------------------- /abc/abc/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Heap.h -------------------------------------------------------------------------------- /abc/abc/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/IntTypes.h -------------------------------------------------------------------------------- /abc/abc/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Map.h -------------------------------------------------------------------------------- /abc/abc/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Queue.h -------------------------------------------------------------------------------- /abc/abc/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/SimpSolver.h -------------------------------------------------------------------------------- /abc/abc/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Solver.h -------------------------------------------------------------------------------- /abc/abc/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/SolverTypes.h -------------------------------------------------------------------------------- /abc/abc/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Sort.h -------------------------------------------------------------------------------- /abc/abc/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/Vec.h -------------------------------------------------------------------------------- /abc/abc/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/XAlloc.h -------------------------------------------------------------------------------- /abc/abc/abc_global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/abc_global.h -------------------------------------------------------------------------------- /abc/abc/abc_namespaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/abc_namespaces.h -------------------------------------------------------------------------------- /abc/abc/pstdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/pstdint.h -------------------------------------------------------------------------------- /abc/abc/satClause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/satClause.h -------------------------------------------------------------------------------- /abc/abc/satSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/satSolver.h -------------------------------------------------------------------------------- /abc/abc/satStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/satStore.h -------------------------------------------------------------------------------- /abc/abc/satVec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/satVec.h -------------------------------------------------------------------------------- /abc/abc/system.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/system.h -------------------------------------------------------------------------------- /abc/abc/utilDouble.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/utilDouble.h -------------------------------------------------------------------------------- /abc/abc/vecInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/vecInt.h -------------------------------------------------------------------------------- /abc/abc/vecWec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/abc/vecWec.h -------------------------------------------------------------------------------- /abc/satSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/satSolver.cpp -------------------------------------------------------------------------------- /abc/satStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/abc/satStore.cpp -------------------------------------------------------------------------------- /bench/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/bench/CMakeLists.txt -------------------------------------------------------------------------------- /bench/synth_bench.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/bench/synth_bench.cpp -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/Doxyfile -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/acknowledgments.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/acknowledgments.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/encoders.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/encoders.rst -------------------------------------------------------------------------------- /docs/examples.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/examples.rst -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/installation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/installation.rst -------------------------------------------------------------------------------- /docs/introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/introduction.rst -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- 1 | breathe 2 | -------------------------------------------------------------------------------- /docs/specifications.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/specifications.rst -------------------------------------------------------------------------------- /docs/synthesizers.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/docs/synthesizers.rst -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /glucose/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/CMakeLists.txt -------------------------------------------------------------------------------- /glucose/core/BoundedQueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/BoundedQueue.h -------------------------------------------------------------------------------- /glucose/core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/CMakeLists.txt -------------------------------------------------------------------------------- /glucose/core/Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/Constants.h -------------------------------------------------------------------------------- /glucose/core/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/Dimacs.h -------------------------------------------------------------------------------- /glucose/core/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/Main.cc -------------------------------------------------------------------------------- /glucose/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/Makefile -------------------------------------------------------------------------------- /glucose/core/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/Solver.cc -------------------------------------------------------------------------------- /glucose/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/Solver.h -------------------------------------------------------------------------------- /glucose/core/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/core/SolverTypes.h -------------------------------------------------------------------------------- /glucose/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Alg.h -------------------------------------------------------------------------------- /glucose/mtl/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Alloc.h -------------------------------------------------------------------------------- /glucose/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Heap.h -------------------------------------------------------------------------------- /glucose/mtl/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/IntTypes.h -------------------------------------------------------------------------------- /glucose/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Map.h -------------------------------------------------------------------------------- /glucose/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Queue.h -------------------------------------------------------------------------------- /glucose/mtl/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Sort.h -------------------------------------------------------------------------------- /glucose/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/Vec.h -------------------------------------------------------------------------------- /glucose/mtl/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/XAlloc.h -------------------------------------------------------------------------------- /glucose/mtl/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/config.mk -------------------------------------------------------------------------------- /glucose/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/mtl/template.mk -------------------------------------------------------------------------------- /glucose/simp/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/simp/Main.cc -------------------------------------------------------------------------------- /glucose/simp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/simp/Makefile -------------------------------------------------------------------------------- /glucose/simp/SimpSolver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/simp/SimpSolver.cc -------------------------------------------------------------------------------- /glucose/simp/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/simp/SimpSolver.h -------------------------------------------------------------------------------- /glucose/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/utils/Makefile -------------------------------------------------------------------------------- /glucose/utils/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/utils/Options.cc -------------------------------------------------------------------------------- /glucose/utils/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/utils/Options.h -------------------------------------------------------------------------------- /glucose/utils/ParseUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/utils/ParseUtils.h -------------------------------------------------------------------------------- /glucose/utils/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/utils/System.cc -------------------------------------------------------------------------------- /glucose/utils/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/glucose/utils/System.h -------------------------------------------------------------------------------- /include/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/CMakeLists.txt -------------------------------------------------------------------------------- /include/percy/chain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/chain.hpp -------------------------------------------------------------------------------- /include/percy/cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/cnf.hpp -------------------------------------------------------------------------------- /include/percy/concurrentqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/concurrentqueue.h -------------------------------------------------------------------------------- /include/percy/dag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/dag.hpp -------------------------------------------------------------------------------- /include/percy/dag_generation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/dag_generation.hpp -------------------------------------------------------------------------------- /include/percy/encoders.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders.hpp -------------------------------------------------------------------------------- /include/percy/encoders/aig_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/aig_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/ditt_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/ditt_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/ditt_maj_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/ditt_maj_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/maj_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/maj_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/mig_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/mig_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/msv_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/msv_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/partial_dag_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/partial_dag_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/ssv_dag_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/ssv_dag_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/ssv_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/ssv_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/ssv_fence2_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/ssv_fence2_encoder.hpp -------------------------------------------------------------------------------- /include/percy/encoders/ssv_fence_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/encoders/ssv_fence_encoder.hpp -------------------------------------------------------------------------------- /include/percy/fence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/fence.hpp -------------------------------------------------------------------------------- /include/percy/io.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/io.hpp -------------------------------------------------------------------------------- /include/percy/mig.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/mig.hpp -------------------------------------------------------------------------------- /include/percy/misc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/misc.hpp -------------------------------------------------------------------------------- /include/percy/partial_dag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/partial_dag.hpp -------------------------------------------------------------------------------- /include/percy/percy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/percy.hpp -------------------------------------------------------------------------------- /include/percy/sat_circuits.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/sat_circuits.hpp -------------------------------------------------------------------------------- /include/percy/solvers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers.hpp -------------------------------------------------------------------------------- /include/percy/solvers/bmcg_sat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers/bmcg_sat.hpp -------------------------------------------------------------------------------- /include/percy/solvers/bsat2.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers/bsat2.hpp -------------------------------------------------------------------------------- /include/percy/solvers/cmsat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers/cmsat.hpp -------------------------------------------------------------------------------- /include/percy/solvers/glucose.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers/glucose.hpp -------------------------------------------------------------------------------- /include/percy/solvers/satoko.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers/satoko.hpp -------------------------------------------------------------------------------- /include/percy/solvers/solver_wrapper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/solvers/solver_wrapper.hpp -------------------------------------------------------------------------------- /include/percy/spec.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/spec.hpp -------------------------------------------------------------------------------- /include/percy/tt_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/include/percy/tt_utils.hpp -------------------------------------------------------------------------------- /memcheck.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/memcheck.sh -------------------------------------------------------------------------------- /nauty/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/.gitignore -------------------------------------------------------------------------------- /nauty/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/CMakeLists.txt -------------------------------------------------------------------------------- /nauty/COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/COPYRIGHT -------------------------------------------------------------------------------- /nauty/NRswitchg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/NRswitchg.c -------------------------------------------------------------------------------- /nauty/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/README -------------------------------------------------------------------------------- /nauty/README_24: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/README_24 -------------------------------------------------------------------------------- /nauty/addedgeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/addedgeg.c -------------------------------------------------------------------------------- /nauty/amtog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/amtog.c -------------------------------------------------------------------------------- /nauty/biplabg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/biplabg.c -------------------------------------------------------------------------------- /nauty/bliss2dre.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/bliss2dre.c -------------------------------------------------------------------------------- /nauty/blisstog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/blisstog.c -------------------------------------------------------------------------------- /nauty/callgeng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/callgeng.c -------------------------------------------------------------------------------- /nauty/catg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/catg.c -------------------------------------------------------------------------------- /nauty/changes24-26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/changes24-26.txt -------------------------------------------------------------------------------- /nauty/checks6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/checks6.c -------------------------------------------------------------------------------- /nauty/complg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/complg.c -------------------------------------------------------------------------------- /nauty/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/config.guess -------------------------------------------------------------------------------- /nauty/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/config.sub -------------------------------------------------------------------------------- /nauty/config.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/config.txt -------------------------------------------------------------------------------- /nauty/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/configure -------------------------------------------------------------------------------- /nauty/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/configure.ac -------------------------------------------------------------------------------- /nauty/converseg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/converseg.c -------------------------------------------------------------------------------- /nauty/copyg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/copyg.c -------------------------------------------------------------------------------- /nauty/cubhamg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/cubhamg.c -------------------------------------------------------------------------------- /nauty/deledgeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/deledgeg.c -------------------------------------------------------------------------------- /nauty/delptg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/delptg.c -------------------------------------------------------------------------------- /nauty/directg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/directg.c -------------------------------------------------------------------------------- /nauty/dreadnaut.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/dreadnaut.c -------------------------------------------------------------------------------- /nauty/dretodot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/dretodot.c -------------------------------------------------------------------------------- /nauty/dretog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/dretog.c -------------------------------------------------------------------------------- /nauty/formats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/formats.txt -------------------------------------------------------------------------------- /nauty/genbg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/genbg.c -------------------------------------------------------------------------------- /nauty/geng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/geng.c -------------------------------------------------------------------------------- /nauty/genquarticg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/genquarticg.c -------------------------------------------------------------------------------- /nauty/genrang.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/genrang.c -------------------------------------------------------------------------------- /nauty/genspecialg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/genspecialg.c -------------------------------------------------------------------------------- /nauty/gentourng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gentourng.c -------------------------------------------------------------------------------- /nauty/gentreeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gentreeg.c -------------------------------------------------------------------------------- /nauty/gtnauty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gtnauty.c -------------------------------------------------------------------------------- /nauty/gtools-h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gtools-h.in -------------------------------------------------------------------------------- /nauty/gtools.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gtools.c -------------------------------------------------------------------------------- /nauty/gutil1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gutil1.c -------------------------------------------------------------------------------- /nauty/gutil2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gutil2.c -------------------------------------------------------------------------------- /nauty/gutils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/gutils.h -------------------------------------------------------------------------------- /nauty/hamheuristic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/hamheuristic.c -------------------------------------------------------------------------------- /nauty/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/install-sh -------------------------------------------------------------------------------- /nauty/labelg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/labelg.c -------------------------------------------------------------------------------- /nauty/linegraphg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/linegraphg.c -------------------------------------------------------------------------------- /nauty/listg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/listg.c -------------------------------------------------------------------------------- /nauty/makefile.basic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/makefile.basic -------------------------------------------------------------------------------- /nauty/makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/makefile.in -------------------------------------------------------------------------------- /nauty/multig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/multig.c -------------------------------------------------------------------------------- /nauty/naucompare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naucompare.c -------------------------------------------------------------------------------- /nauty/naugraph.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naugraph.c -------------------------------------------------------------------------------- /nauty/naugroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naugroup.c -------------------------------------------------------------------------------- /nauty/naugroup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naugroup.h -------------------------------------------------------------------------------- /nauty/naugstrings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naugstrings.c -------------------------------------------------------------------------------- /nauty/naugstrings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naugstrings.h -------------------------------------------------------------------------------- /nauty/naurng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naurng.c -------------------------------------------------------------------------------- /nauty/naurng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naurng.h -------------------------------------------------------------------------------- /nauty/nausparse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nausparse.c -------------------------------------------------------------------------------- /nauty/nausparse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nausparse.h -------------------------------------------------------------------------------- /nauty/nautaux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautaux.c -------------------------------------------------------------------------------- /nauty/nautaux.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautaux.h -------------------------------------------------------------------------------- /nauty/nautest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest.c -------------------------------------------------------------------------------- /nauty/nautest1.dre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1.dre -------------------------------------------------------------------------------- /nauty/nautest1a.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1a.ans -------------------------------------------------------------------------------- /nauty/nautest1a.dre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1a.dre -------------------------------------------------------------------------------- /nauty/nautest1b.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1b.ans -------------------------------------------------------------------------------- /nauty/nautest1b.dre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1b.dre -------------------------------------------------------------------------------- /nauty/nautest1c.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1c.ans -------------------------------------------------------------------------------- /nauty/nautest1c.dre: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest1c.dre -------------------------------------------------------------------------------- /nauty/nautest2.dre: -------------------------------------------------------------------------------- 1 | n=12 $=1 g 2 | 2;3;4;5;6;7;8;9;10;11;12;1. 3 | v 4 | i & 5 | x 6 | c xz jxz 7 | q 8 | -------------------------------------------------------------------------------- /nauty/nautest2a.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest2a.ans -------------------------------------------------------------------------------- /nauty/nautest2b.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest2b.ans -------------------------------------------------------------------------------- /nauty/nautest2c.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautest2c.ans -------------------------------------------------------------------------------- /nauty/nautesta.ans: -------------------------------------------------------------------------------- 1 | >A ./geng -td1D7 n=11 e=6-30 2 | >Z 92779 graphs generated in 0.14 sec 3 | -------------------------------------------------------------------------------- /nauty/nautestb.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautestb.ans -------------------------------------------------------------------------------- /nauty/nautestc.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautestc.ans -------------------------------------------------------------------------------- /nauty/nautestd.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautestd.ans -------------------------------------------------------------------------------- /nauty/nauteste.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nauteste.ans -------------------------------------------------------------------------------- /nauty/nautestf.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautestf.ans -------------------------------------------------------------------------------- /nauty/nautestg.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautestg.ans -------------------------------------------------------------------------------- /nauty/nauthread1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nauthread1.c -------------------------------------------------------------------------------- /nauty/nauthread2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nauthread2.c -------------------------------------------------------------------------------- /nauty/nautil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautil.c -------------------------------------------------------------------------------- /nauty/nautinv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautinv.c -------------------------------------------------------------------------------- /nauty/nautinv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautinv.h -------------------------------------------------------------------------------- /nauty/naututil-h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naututil-h.in -------------------------------------------------------------------------------- /nauty/naututil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naututil.c -------------------------------------------------------------------------------- /nauty/naututil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/naututil.h -------------------------------------------------------------------------------- /nauty/nauty-h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nauty-h.in -------------------------------------------------------------------------------- /nauty/nauty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nauty.c -------------------------------------------------------------------------------- /nauty/nautyex1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex1.c -------------------------------------------------------------------------------- /nauty/nautyex10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex10.c -------------------------------------------------------------------------------- /nauty/nautyex2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex2.c -------------------------------------------------------------------------------- /nauty/nautyex3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex3.c -------------------------------------------------------------------------------- /nauty/nautyex4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex4.c -------------------------------------------------------------------------------- /nauty/nautyex5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex5.c -------------------------------------------------------------------------------- /nauty/nautyex6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex6.c -------------------------------------------------------------------------------- /nauty/nautyex7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex7.c -------------------------------------------------------------------------------- /nauty/nautyex8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex8.c -------------------------------------------------------------------------------- /nauty/nautyex9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nautyex9.c -------------------------------------------------------------------------------- /nauty/newedgeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/newedgeg.c -------------------------------------------------------------------------------- /nauty/nug26.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/nug26.pdf -------------------------------------------------------------------------------- /nauty/planarg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/planarg.c -------------------------------------------------------------------------------- /nauty/planarity.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/planarity.c -------------------------------------------------------------------------------- /nauty/planarity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/planarity.h -------------------------------------------------------------------------------- /nauty/poptest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/poptest.c -------------------------------------------------------------------------------- /nauty/quarticirred28.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/quarticirred28.h -------------------------------------------------------------------------------- /nauty/ranlabg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/ranlabg.c -------------------------------------------------------------------------------- /nauty/rng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/rng.c -------------------------------------------------------------------------------- /nauty/rng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/rng.h -------------------------------------------------------------------------------- /nauty/runalltests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/runalltests -------------------------------------------------------------------------------- /nauty/schreier.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/schreier.c -------------------------------------------------------------------------------- /nauty/schreier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/schreier.h -------------------------------------------------------------------------------- /nauty/schreier.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/schreier.txt -------------------------------------------------------------------------------- /nauty/shortg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/shortg.c -------------------------------------------------------------------------------- /nauty/showg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/showg.c -------------------------------------------------------------------------------- /nauty/sorttemplates.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/sorttemplates.c -------------------------------------------------------------------------------- /nauty/splay.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/splay.c -------------------------------------------------------------------------------- /nauty/subdivideg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/subdivideg.c -------------------------------------------------------------------------------- /nauty/sumlines.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/sumlines.c -------------------------------------------------------------------------------- /nauty/testg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/testg.c -------------------------------------------------------------------------------- /nauty/traces.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/traces.c -------------------------------------------------------------------------------- /nauty/traces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/traces.h -------------------------------------------------------------------------------- /nauty/twohamg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/twohamg.c -------------------------------------------------------------------------------- /nauty/vcolg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/vcolg.c -------------------------------------------------------------------------------- /nauty/watercluster2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/nauty/watercluster2.c -------------------------------------------------------------------------------- /percy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/percy.svg -------------------------------------------------------------------------------- /satoko/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/CMakeLists.txt -------------------------------------------------------------------------------- /satoko/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/LICENSE -------------------------------------------------------------------------------- /satoko/act_clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/act_clause.h -------------------------------------------------------------------------------- /satoko/act_var.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/act_var.h -------------------------------------------------------------------------------- /satoko/cdb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/cdb.h -------------------------------------------------------------------------------- /satoko/clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/clause.h -------------------------------------------------------------------------------- /satoko/cnf_reader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/cnf_reader.cpp -------------------------------------------------------------------------------- /satoko/module.make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/module.make -------------------------------------------------------------------------------- /satoko/satoko.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/satoko.h -------------------------------------------------------------------------------- /satoko/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/solver.cpp -------------------------------------------------------------------------------- /satoko/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/solver.h -------------------------------------------------------------------------------- /satoko/solver_api.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/solver_api.cpp -------------------------------------------------------------------------------- /satoko/types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/types.h -------------------------------------------------------------------------------- /satoko/utils/b_queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/b_queue.h -------------------------------------------------------------------------------- /satoko/utils/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/heap.h -------------------------------------------------------------------------------- /satoko/utils/mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/mem.h -------------------------------------------------------------------------------- /satoko/utils/misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/misc.h -------------------------------------------------------------------------------- /satoko/utils/sdbl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/sdbl.h -------------------------------------------------------------------------------- /satoko/utils/sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/sort.h -------------------------------------------------------------------------------- /satoko/utils/vec/vec_char.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/vec/vec_char.h -------------------------------------------------------------------------------- /satoko/utils/vec/vec_flt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/vec/vec_flt.h -------------------------------------------------------------------------------- /satoko/utils/vec/vec_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/vec/vec_int.h -------------------------------------------------------------------------------- /satoko/utils/vec/vec_sdbl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/vec/vec_sdbl.h -------------------------------------------------------------------------------- /satoko/utils/vec/vec_uint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/utils/vec/vec_uint.h -------------------------------------------------------------------------------- /satoko/watch_list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/satoko/watch_list.h -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/aig_synthesis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/aig_synthesis.cpp -------------------------------------------------------------------------------- /test/arbitrary_fanin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/arbitrary_fanin.cpp -------------------------------------------------------------------------------- /test/bitset.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/bitset.cpp -------------------------------------------------------------------------------- /test/bmcg_sat_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/bmcg_sat_equivalence.cpp -------------------------------------------------------------------------------- /test/cardinality.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/cardinality.cpp -------------------------------------------------------------------------------- /test/cms_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/cms_equivalence.cpp -------------------------------------------------------------------------------- /test/cnf_gen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/cnf_gen.cpp -------------------------------------------------------------------------------- /test/dag_generation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/dag_generation.cpp -------------------------------------------------------------------------------- /test/dag_generation_starting_point.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/dag_generation_starting_point.cpp -------------------------------------------------------------------------------- /test/dag_isomorphism.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/dag_isomorphism.cpp -------------------------------------------------------------------------------- /test/dag_synth_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/dag_synth_equivalence.cpp -------------------------------------------------------------------------------- /test/dag_to_dot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/dag_to_dot.cpp -------------------------------------------------------------------------------- /test/denormalization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/denormalization.cpp -------------------------------------------------------------------------------- /test/ditt_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/ditt_equivalence.cpp -------------------------------------------------------------------------------- /test/ditt_maj_synthesis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/ditt_maj_synthesis.cpp -------------------------------------------------------------------------------- /test/dont_cares.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/dont_cares.cpp -------------------------------------------------------------------------------- /test/fence_counting.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/fence_counting.cpp -------------------------------------------------------------------------------- /test/fence_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/fence_equivalence.cpp -------------------------------------------------------------------------------- /test/fence_po_filter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/fence_po_filter.cpp -------------------------------------------------------------------------------- /test/fence_profiling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/fence_profiling.cpp -------------------------------------------------------------------------------- /test/find_dag_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/find_dag_equivalence.cpp -------------------------------------------------------------------------------- /test/floating_dag.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/floating_dag.cpp -------------------------------------------------------------------------------- /test/generate_solutions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/generate_solutions.cpp -------------------------------------------------------------------------------- /test/generate_struct_solutions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/generate_struct_solutions.cpp -------------------------------------------------------------------------------- /test/glucose_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/glucose_equivalence.cpp -------------------------------------------------------------------------------- /test/isomorphic_synth_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/isomorphic_synth_equivalence.cpp -------------------------------------------------------------------------------- /test/link_test1.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/link_test1.cpp -------------------------------------------------------------------------------- /test/link_test2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/link_test2.cpp -------------------------------------------------------------------------------- /test/maj_decomposition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/maj_decomposition.cpp -------------------------------------------------------------------------------- /test/maj_enumerate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/maj_enumerate.cpp -------------------------------------------------------------------------------- /test/maj_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/maj_equivalence.cpp -------------------------------------------------------------------------------- /test/msv_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/msv_equivalence.cpp -------------------------------------------------------------------------------- /test/npn_classification.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/npn_classification.cpp -------------------------------------------------------------------------------- /test/nr_solutions_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/nr_solutions_equivalence.cpp -------------------------------------------------------------------------------- /test/parallel_fence_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_fence_equivalence.cpp -------------------------------------------------------------------------------- /test/parallel_fence_generation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_fence_generation.cpp -------------------------------------------------------------------------------- /test/parallel_fence_profiling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_fence_profiling.cpp -------------------------------------------------------------------------------- /test/parallel_partial_dag_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_partial_dag_equivalence.cpp -------------------------------------------------------------------------------- /test/parallel_partial_dag_profiling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_partial_dag_profiling.cpp -------------------------------------------------------------------------------- /test/parallel_partial_dag_ser_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_partial_dag_ser_equivalence.cpp -------------------------------------------------------------------------------- /test/parallel_pd3_ditt_maj_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_pd3_ditt_maj_equivalence.cpp -------------------------------------------------------------------------------- /test/parallel_synthesis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/parallel_synthesis.cpp -------------------------------------------------------------------------------- /test/partial_dag3_count.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag3_count.cpp -------------------------------------------------------------------------------- /test/partial_dag3_ser_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag3_ser_equivalence.cpp -------------------------------------------------------------------------------- /test/partial_dag_count.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_count.cpp -------------------------------------------------------------------------------- /test/partial_dag_enum_bench.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_enum_bench.cpp -------------------------------------------------------------------------------- /test/partial_dag_enum_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_enum_equivalence.cpp -------------------------------------------------------------------------------- /test/partial_dag_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_equivalence.cpp -------------------------------------------------------------------------------- /test/partial_dag_generation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_generation.cpp -------------------------------------------------------------------------------- /test/partial_dag_isomorphism.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_isomorphism.cpp -------------------------------------------------------------------------------- /test/partial_dag_ser_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_ser_equivalence.cpp -------------------------------------------------------------------------------- /test/partial_dag_serialization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/partial_dag_serialization.cpp -------------------------------------------------------------------------------- /test/pd1.bin: -------------------------------------------------------------------------------- 1 | cd@ -------------------------------------------------------------------------------- /test/pd2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd2.bin -------------------------------------------------------------------------------- /test/pd3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd3.bin -------------------------------------------------------------------------------- /test/pd3_ditt_maj_enumerate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd3_ditt_maj_enumerate.cpp -------------------------------------------------------------------------------- /test/pd3_ditt_maj_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd3_ditt_maj_equivalence.cpp -------------------------------------------------------------------------------- /test/pd4.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd4.bin -------------------------------------------------------------------------------- /test/pd5.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd5.bin -------------------------------------------------------------------------------- /test/pd6.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd6.bin -------------------------------------------------------------------------------- /test/pd7.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd7.bin -------------------------------------------------------------------------------- /test/pd8.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd8.bin -------------------------------------------------------------------------------- /test/pd9.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd9.bin -------------------------------------------------------------------------------- /test/pd_profiling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/pd_profiling.cpp -------------------------------------------------------------------------------- /test/primitive_synthesis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/primitive_synthesis.cpp -------------------------------------------------------------------------------- /test/satoko_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/satoko_equivalence.cpp -------------------------------------------------------------------------------- /test/std_profiling.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/std_profiling.cpp -------------------------------------------------------------------------------- /test/synth3_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/synth3_equivalence.cpp -------------------------------------------------------------------------------- /test/synth_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/synth_equivalence.cpp -------------------------------------------------------------------------------- /test/synthesizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/synthesizer.cpp -------------------------------------------------------------------------------- /test/syrup_equivalence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/syrup_equivalence.cpp -------------------------------------------------------------------------------- /test/syrup_multi-threading.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/syrup_multi-threading.cpp -------------------------------------------------------------------------------- /test/thread_overhead.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/thread_overhead.cpp -------------------------------------------------------------------------------- /test/timeout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/whaaswijk/percy/HEAD/test/timeout.cpp --------------------------------------------------------------------------------