├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── docs ├── Makefile ├── changelog.rst ├── conf.py ├── decomposition.rst ├── export_qiskit.rst ├── index.rst ├── make.bat ├── requirements.txt ├── synthesis.rst └── types.rst ├── ext ├── .clang-format ├── decomposition.cpp ├── module.cpp ├── netlist.cpp ├── synthesis.cpp ├── truth_table.cpp └── types.hpp ├── lib ├── abcsat │ ├── AbcGlucose.cpp │ ├── CMakeFiles │ │ ├── CMakeDirectoryInformation.cmake │ │ ├── libabcsat.dir │ │ │ ├── DependInfo.cmake │ │ │ ├── build.make │ │ │ ├── cmake_clean.cmake │ │ │ ├── cmake_clean_target.cmake │ │ │ ├── depend.make │ │ │ ├── flags.make │ │ │ ├── link.txt │ │ │ └── progress.make │ │ └── progress.marks │ ├── 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 │ ├── satSolver.cpp │ └── satStore.cpp ├── caterpillar │ └── caterpillar │ │ ├── .DS_Store │ │ ├── details │ │ └── utils.hpp │ │ ├── optimization │ │ ├── optimization_graph.hpp │ │ └── post_opt_esop.hpp │ │ ├── stg_gate.hpp │ │ ├── synthesis │ │ ├── lhrs.hpp │ │ ├── sat.hpp │ │ ├── stg_to_mcx.hpp │ │ └── strategies │ │ │ ├── action.hpp │ │ │ ├── bennett_mapping_strategy.hpp │ │ │ ├── best_fit_mapping_strategy.hpp │ │ │ ├── eager_mapping_strategy.hpp │ │ │ ├── mapping_strategy.hpp │ │ │ ├── pebbling_mapping_strategy.hpp │ │ │ └── xag_mapping_strategy.hpp │ │ └── verification │ │ └── circuit_to_logic_network.hpp ├── easy │ └── easy │ │ ├── easy.hpp │ │ ├── esop │ │ ├── combine.hpp │ │ ├── constructors.hpp │ │ ├── cost.hpp │ │ ├── cube_manipulators.hpp │ │ ├── cube_utils.hpp │ │ ├── esop.hpp │ │ ├── esop_from_pkrm.hpp │ │ ├── esop_from_pprm.hpp │ │ ├── exact_synthesis.hpp │ │ ├── exorlink.hpp │ │ ├── exorlink4.def │ │ ├── exorlink5.def │ │ ├── exorlink6.def │ │ ├── helliwell.hpp │ │ └── synthesis.hpp │ │ ├── io │ │ ├── read_esop.hpp │ │ └── write_esop.hpp │ │ ├── sat │ │ ├── cnf_writer.hpp │ │ ├── constraints.hpp │ │ ├── gauss.hpp │ │ ├── sat_solver.hpp │ │ └── xor_clauses_to_cnf.hpp │ │ ├── sat2 │ │ ├── cardinality.hpp │ │ ├── cnf_from_xcnf.hpp │ │ ├── core_utils.hpp │ │ ├── maxsat.hpp │ │ └── sat_solver.hpp │ │ └── utils │ │ ├── dynamic_bitset.hpp │ │ ├── stopwatch.hpp │ │ └── string_utils.hpp ├── ez │ └── ez │ │ └── direct_iterator.hpp ├── fmt │ └── fmt │ │ ├── colors.h │ │ ├── core.h │ │ ├── fmt.h │ │ ├── format-inl.h │ │ ├── format.h │ │ ├── ostream.h │ │ ├── posix.h │ │ ├── printf.h │ │ ├── ranges.h │ │ └── time.h ├── glucose │ └── glucose │ │ └── glucose.hpp ├── kitty │ └── kitty │ │ ├── affine.hpp │ │ ├── algorithm.hpp │ │ ├── bit_operations.hpp │ │ ├── cnf.hpp │ │ ├── constructors.hpp │ │ ├── cube.hpp │ │ ├── detail │ │ ├── constants.hpp │ │ ├── linear_constants.hpp │ │ ├── mscfix.hpp │ │ └── utils.hpp │ │ ├── dynamic_truth_table.hpp │ │ ├── enumeration.hpp │ │ ├── esop.hpp │ │ ├── hash.hpp │ │ ├── implicant.hpp │ │ ├── isop.hpp │ │ ├── kitty.hpp │ │ ├── npn.hpp │ │ ├── operations.hpp │ │ ├── operators.hpp │ │ ├── permutation.hpp │ │ ├── print.hpp │ │ ├── properties.hpp │ │ ├── spectral.hpp │ │ ├── static_truth_table.hpp │ │ └── traits.hpp ├── lorina │ └── lorina │ │ ├── aiger.hpp │ │ ├── bench.hpp │ │ ├── blif.hpp │ │ ├── common.hpp │ │ ├── detail │ │ ├── tokenizer.hpp │ │ └── utils.hpp │ │ ├── diagnostics.hpp │ │ ├── lorina.hpp │ │ ├── pla.hpp │ │ ├── verilog.hpp │ │ └── verilog_regex.hpp ├── mockturtle │ └── mockturtle │ │ ├── algorithms │ │ ├── aig_resub.hpp │ │ ├── akers_synthesis.hpp │ │ ├── cleanup.hpp │ │ ├── collapse_mapped.hpp │ │ ├── cut_enumeration.hpp │ │ ├── cut_enumeration │ │ │ ├── gia_cut.hpp │ │ │ ├── mf_cut.hpp │ │ │ └── spectr_cut.hpp │ │ ├── cut_rewriting.hpp │ │ ├── detail │ │ │ └── mffc_utils.hpp │ │ ├── dont_cares.hpp │ │ ├── gates_to_nodes.hpp │ │ ├── lut_mapping.hpp │ │ ├── mig_algebraic_rewriting.hpp │ │ ├── mig_resub.hpp │ │ ├── node_resynthesis.hpp │ │ ├── node_resynthesis │ │ │ ├── akers.hpp │ │ │ ├── direct.hpp │ │ │ ├── exact.hpp │ │ │ ├── mig_npn.hpp │ │ │ ├── xag_minmc.hpp │ │ │ ├── xag_npn.hpp │ │ │ └── xmg_npn.hpp │ │ ├── reconv_cut.hpp │ │ ├── reconv_cut2.hpp │ │ ├── refactoring.hpp │ │ ├── resubstitution.hpp │ │ ├── simulation.hpp │ │ └── xmg_algebraic_rewriting.hpp │ │ ├── generators │ │ ├── arithmetic.hpp │ │ ├── control.hpp │ │ ├── modular_arithmetic.hpp │ │ ├── random_logic_generator.hpp │ │ └── sorting.hpp │ │ ├── interface.hpp │ │ ├── io │ │ ├── aiger_reader.hpp │ │ ├── bench_reader.hpp │ │ ├── pla_reader.hpp │ │ ├── verilog_reader.hpp │ │ ├── write_bench.hpp │ │ ├── write_dot.hpp │ │ └── write_verilog.hpp │ │ ├── mockturtle.hpp │ │ ├── networks │ │ ├── aig.hpp │ │ ├── detail │ │ │ └── foreach.hpp │ │ ├── events.hpp │ │ ├── klut.hpp │ │ ├── mig.hpp │ │ ├── storage.hpp │ │ ├── xag.hpp │ │ └── xmg.hpp │ │ ├── properties │ │ └── migcost.hpp │ │ ├── traits.hpp │ │ ├── utils │ │ ├── algorithm.hpp │ │ ├── cuts.hpp │ │ ├── mixed_radix.hpp │ │ ├── node_map.hpp │ │ ├── progress_bar.hpp │ │ ├── stopwatch.hpp │ │ ├── string_utils.hpp │ │ └── truth_table_cache.hpp │ │ └── views │ │ ├── cut_view.hpp │ │ ├── depth_view.hpp │ │ ├── fanout_view.hpp │ │ ├── immutable_view.hpp │ │ ├── mapping_view.hpp │ │ ├── mffc_view.hpp │ │ ├── topo_view.hpp │ │ └── window_view.hpp ├── percy │ └── percy │ │ ├── chain.hpp │ │ ├── cnf.hpp │ │ ├── concurrentqueue.h │ │ ├── dag.hpp │ │ ├── dag_generation.hpp │ │ ├── encoders.hpp │ │ ├── encoders │ │ ├── ditt_encoder.hpp │ │ ├── encoder.hpp │ │ ├── maj_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 ├── rang │ └── rang │ │ └── rang.hpp ├── sparsepp │ └── sparsepp │ │ ├── spp.h │ │ ├── spp_config.h │ │ ├── spp_dlalloc.h │ │ ├── spp_memory.h │ │ ├── spp_smartptr.h │ │ ├── spp_stdint.h │ │ ├── spp_timer.h │ │ ├── spp_traits.h │ │ └── spp_utils.h └── tweedledum │ ├── .DS_Store │ └── tweedledum │ ├── algorithms │ ├── .DS_Store │ ├── decomposition │ │ ├── barenco.hpp │ │ └── dt.hpp │ ├── generic │ │ └── rewrite.hpp │ └── synthesis │ │ ├── cnot_patel.hpp │ │ ├── dbs.hpp │ │ ├── diagonal_synth.hpp │ │ ├── esop_phase_synth.hpp │ │ ├── gray_synth.hpp │ │ ├── linear_synth.hpp │ │ ├── stg.hpp │ │ └── tbs.hpp │ ├── gates │ ├── gate_base.hpp │ ├── gate_set.def │ ├── gate_set.hpp │ ├── interface.hpp │ ├── mcmt_gate.hpp │ └── mcst_gate.hpp │ ├── io │ ├── qasm.hpp │ ├── quil.hpp │ ├── read_device.hpp │ ├── write_dot.hpp │ ├── write_projectq.hpp │ ├── write_qpic.hpp │ ├── write_quirk.hpp │ └── write_unicode.hpp │ ├── networks │ ├── detail │ │ └── storage.hpp │ ├── gg_network.hpp │ ├── interface.hpp │ ├── netlist.hpp │ └── qubit.hpp │ ├── traits.hpp │ ├── tweedledum.hpp │ ├── utils │ ├── angle.hpp │ ├── bit_matrix_cm.hpp │ ├── bit_matrix_rm.hpp │ ├── detail │ │ └── bit_matrix.hpp │ ├── device.hpp │ ├── dynamic_bitset.hpp │ ├── foreach.hpp │ ├── hash.hpp │ ├── node_map.hpp │ ├── parity_terms.hpp │ ├── permute.hpp │ └── zdd.hpp │ └── views │ ├── depth_view.hpp │ └── immutable_view.hpp ├── requirements.txt ├── revkit ├── __init__.py └── export │ ├── __init__.py │ └── qiskit.py ├── setup.py └── test ├── test_netlist.py ├── test_tbs.py └── test_truth_table.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/README.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/changelog.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/changelog.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/decomposition.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/decomposition.rst -------------------------------------------------------------------------------- /docs/export_qiskit.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/export_qiskit.rst -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/requirements.txt: -------------------------------------------------------------------------------- 1 | sphinx_rtd_theme 2 | pybind11 3 | . 4 | -------------------------------------------------------------------------------- /docs/synthesis.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/synthesis.rst -------------------------------------------------------------------------------- /docs/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/docs/types.rst -------------------------------------------------------------------------------- /ext/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/.clang-format -------------------------------------------------------------------------------- /ext/decomposition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/decomposition.cpp -------------------------------------------------------------------------------- /ext/module.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/module.cpp -------------------------------------------------------------------------------- /ext/netlist.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/netlist.cpp -------------------------------------------------------------------------------- /ext/synthesis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/synthesis.cpp -------------------------------------------------------------------------------- /ext/truth_table.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/truth_table.cpp -------------------------------------------------------------------------------- /ext/types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/ext/types.hpp -------------------------------------------------------------------------------- /lib/abcsat/AbcGlucose.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/AbcGlucose.cpp -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/CMakeDirectoryInformation.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/CMakeDirectoryInformation.cmake -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/DependInfo.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/DependInfo.cmake -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/build.make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/build.make -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/cmake_clean.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/cmake_clean.cmake -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/cmake_clean_target.cmake: -------------------------------------------------------------------------------- 1 | file(REMOVE_RECURSE 2 | "liblibabcsat.a" 3 | ) 4 | -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/depend.make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/depend.make -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/flags.make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/flags.make -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/link.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/link.txt -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/libabcsat.dir/progress.make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeFiles/libabcsat.dir/progress.make -------------------------------------------------------------------------------- /lib/abcsat/CMakeFiles/progress.marks: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /lib/abcsat/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/CMakeLists.txt -------------------------------------------------------------------------------- /lib/abcsat/Glucose.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/Glucose.cpp -------------------------------------------------------------------------------- /lib/abcsat/SimpSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/SimpSolver.cpp -------------------------------------------------------------------------------- /lib/abcsat/abc/AbcGlucose.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/AbcGlucose.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Alg.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Alloc.h -------------------------------------------------------------------------------- /lib/abcsat/abc/BoundedQueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/BoundedQueue.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Constants.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Dimacs.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Heap.h -------------------------------------------------------------------------------- /lib/abcsat/abc/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/IntTypes.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Map.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Queue.h -------------------------------------------------------------------------------- /lib/abcsat/abc/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/SimpSolver.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Solver.h -------------------------------------------------------------------------------- /lib/abcsat/abc/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/SolverTypes.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Sort.h -------------------------------------------------------------------------------- /lib/abcsat/abc/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/Vec.h -------------------------------------------------------------------------------- /lib/abcsat/abc/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/XAlloc.h -------------------------------------------------------------------------------- /lib/abcsat/abc/abc_global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/abc_global.h -------------------------------------------------------------------------------- /lib/abcsat/abc/abc_namespaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/abc_namespaces.h -------------------------------------------------------------------------------- /lib/abcsat/abc/pstdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/pstdint.h -------------------------------------------------------------------------------- /lib/abcsat/abc/satClause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/satClause.h -------------------------------------------------------------------------------- /lib/abcsat/abc/satSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/satSolver.h -------------------------------------------------------------------------------- /lib/abcsat/abc/satStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/satStore.h -------------------------------------------------------------------------------- /lib/abcsat/abc/satVec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/satVec.h -------------------------------------------------------------------------------- /lib/abcsat/abc/system.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/system.h -------------------------------------------------------------------------------- /lib/abcsat/abc/utilDouble.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/utilDouble.h -------------------------------------------------------------------------------- /lib/abcsat/abc/vecInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/abc/vecInt.h -------------------------------------------------------------------------------- /lib/abcsat/satSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/satSolver.cpp -------------------------------------------------------------------------------- /lib/abcsat/satStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/abcsat/satStore.cpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/.DS_Store -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/details/utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/details/utils.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/optimization/optimization_graph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/optimization/optimization_graph.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/optimization/post_opt_esop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/optimization/post_opt_esop.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/stg_gate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/stg_gate.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/lhrs.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/lhrs.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/sat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/sat.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/stg_to_mcx.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/stg_to_mcx.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/action.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/action.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/bennett_mapping_strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/bennett_mapping_strategy.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/best_fit_mapping_strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/best_fit_mapping_strategy.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/eager_mapping_strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/eager_mapping_strategy.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/mapping_strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/mapping_strategy.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/pebbling_mapping_strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/pebbling_mapping_strategy.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/synthesis/strategies/xag_mapping_strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/synthesis/strategies/xag_mapping_strategy.hpp -------------------------------------------------------------------------------- /lib/caterpillar/caterpillar/verification/circuit_to_logic_network.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/caterpillar/caterpillar/verification/circuit_to_logic_network.hpp -------------------------------------------------------------------------------- /lib/easy/easy/easy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/easy.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/combine.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/combine.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/constructors.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/constructors.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/cost.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/cost.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/cube_manipulators.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/cube_manipulators.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/cube_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/cube_utils.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/esop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/esop.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/esop_from_pkrm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/esop_from_pkrm.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/esop_from_pprm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/esop_from_pprm.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/exact_synthesis.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/exact_synthesis.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/exorlink.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/exorlink.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/exorlink4.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/exorlink4.def -------------------------------------------------------------------------------- /lib/easy/easy/esop/exorlink5.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/exorlink5.def -------------------------------------------------------------------------------- /lib/easy/easy/esop/exorlink6.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/exorlink6.def -------------------------------------------------------------------------------- /lib/easy/easy/esop/helliwell.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/helliwell.hpp -------------------------------------------------------------------------------- /lib/easy/easy/esop/synthesis.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/esop/synthesis.hpp -------------------------------------------------------------------------------- /lib/easy/easy/io/read_esop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/io/read_esop.hpp -------------------------------------------------------------------------------- /lib/easy/easy/io/write_esop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/io/write_esop.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat/cnf_writer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat/cnf_writer.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat/constraints.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat/constraints.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat/gauss.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat/gauss.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat/sat_solver.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat/sat_solver.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat/xor_clauses_to_cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat/xor_clauses_to_cnf.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat2/cardinality.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat2/cardinality.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat2/cnf_from_xcnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat2/cnf_from_xcnf.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat2/core_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat2/core_utils.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat2/maxsat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat2/maxsat.hpp -------------------------------------------------------------------------------- /lib/easy/easy/sat2/sat_solver.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/sat2/sat_solver.hpp -------------------------------------------------------------------------------- /lib/easy/easy/utils/dynamic_bitset.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/utils/dynamic_bitset.hpp -------------------------------------------------------------------------------- /lib/easy/easy/utils/stopwatch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/utils/stopwatch.hpp -------------------------------------------------------------------------------- /lib/easy/easy/utils/string_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/easy/easy/utils/string_utils.hpp -------------------------------------------------------------------------------- /lib/ez/ez/direct_iterator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/ez/ez/direct_iterator.hpp -------------------------------------------------------------------------------- /lib/fmt/fmt/colors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/colors.h -------------------------------------------------------------------------------- /lib/fmt/fmt/core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/core.h -------------------------------------------------------------------------------- /lib/fmt/fmt/fmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/fmt.h -------------------------------------------------------------------------------- /lib/fmt/fmt/format-inl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/format-inl.h -------------------------------------------------------------------------------- /lib/fmt/fmt/format.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/format.h -------------------------------------------------------------------------------- /lib/fmt/fmt/ostream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/ostream.h -------------------------------------------------------------------------------- /lib/fmt/fmt/posix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/posix.h -------------------------------------------------------------------------------- /lib/fmt/fmt/printf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/printf.h -------------------------------------------------------------------------------- /lib/fmt/fmt/ranges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/ranges.h -------------------------------------------------------------------------------- /lib/fmt/fmt/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/fmt/fmt/time.h -------------------------------------------------------------------------------- /lib/glucose/glucose/glucose.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/glucose/glucose/glucose.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/affine.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/affine.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/algorithm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/algorithm.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/bit_operations.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/bit_operations.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/cnf.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/constructors.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/constructors.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/cube.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/cube.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/detail/constants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/detail/constants.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/detail/linear_constants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/detail/linear_constants.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/detail/mscfix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/detail/mscfix.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/detail/utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/detail/utils.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/dynamic_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/dynamic_truth_table.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/enumeration.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/enumeration.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/esop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/esop.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/hash.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/implicant.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/implicant.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/isop.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/isop.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/kitty.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/kitty.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/npn.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/npn.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/operations.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/operations.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/operators.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/operators.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/permutation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/permutation.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/print.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/print.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/properties.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/properties.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/spectral.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/spectral.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/static_truth_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/static_truth_table.hpp -------------------------------------------------------------------------------- /lib/kitty/kitty/traits.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/kitty/kitty/traits.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/aiger.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/aiger.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/bench.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/bench.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/blif.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/blif.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/common.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/common.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/detail/tokenizer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/detail/tokenizer.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/detail/utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/detail/utils.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/diagnostics.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/diagnostics.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/lorina.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/lorina.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/pla.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/pla.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/verilog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/verilog.hpp -------------------------------------------------------------------------------- /lib/lorina/lorina/verilog_regex.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/lorina/lorina/verilog_regex.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/aig_resub.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/aig_resub.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/akers_synthesis.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/akers_synthesis.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/cleanup.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/cleanup.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/collapse_mapped.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/collapse_mapped.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/cut_enumeration.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/cut_enumeration.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/cut_enumeration/gia_cut.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/cut_enumeration/gia_cut.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/cut_enumeration/mf_cut.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/cut_enumeration/mf_cut.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/cut_rewriting.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/cut_rewriting.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/detail/mffc_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/detail/mffc_utils.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/dont_cares.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/dont_cares.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/gates_to_nodes.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/gates_to_nodes.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/lut_mapping.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/lut_mapping.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/mig_algebraic_rewriting.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/mig_algebraic_rewriting.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/mig_resub.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/mig_resub.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/akers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/akers.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/direct.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/direct.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/exact.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/exact.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/mig_npn.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/mig_npn.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/xag_npn.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/xag_npn.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/reconv_cut.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/reconv_cut.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/reconv_cut2.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/reconv_cut2.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/refactoring.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/refactoring.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/resubstitution.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/resubstitution.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/simulation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/simulation.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/algorithms/xmg_algebraic_rewriting.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/algorithms/xmg_algebraic_rewriting.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/generators/arithmetic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/generators/arithmetic.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/generators/control.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/generators/control.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/generators/modular_arithmetic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/generators/modular_arithmetic.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/generators/random_logic_generator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/generators/random_logic_generator.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/generators/sorting.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/generators/sorting.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/interface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/interface.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/aiger_reader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/aiger_reader.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/bench_reader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/bench_reader.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/pla_reader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/pla_reader.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/verilog_reader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/verilog_reader.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/write_bench.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/write_bench.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/write_dot.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/write_dot.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/io/write_verilog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/io/write_verilog.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/mockturtle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/mockturtle.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/aig.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/aig.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/detail/foreach.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/detail/foreach.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/events.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/events.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/klut.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/klut.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/mig.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/mig.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/storage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/storage.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/xag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/xag.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/networks/xmg.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/networks/xmg.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/properties/migcost.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/properties/migcost.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/traits.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/traits.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/algorithm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/algorithm.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/cuts.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/cuts.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/mixed_radix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/mixed_radix.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/node_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/node_map.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/progress_bar.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/progress_bar.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/stopwatch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/stopwatch.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/string_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/string_utils.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/utils/truth_table_cache.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/utils/truth_table_cache.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/cut_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/cut_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/depth_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/depth_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/fanout_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/fanout_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/immutable_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/immutable_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/mapping_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/mapping_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/mffc_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/mffc_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/topo_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/topo_view.hpp -------------------------------------------------------------------------------- /lib/mockturtle/mockturtle/views/window_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/mockturtle/mockturtle/views/window_view.hpp -------------------------------------------------------------------------------- /lib/percy/percy/chain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/chain.hpp -------------------------------------------------------------------------------- /lib/percy/percy/cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/cnf.hpp -------------------------------------------------------------------------------- /lib/percy/percy/concurrentqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/concurrentqueue.h -------------------------------------------------------------------------------- /lib/percy/percy/dag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/dag.hpp -------------------------------------------------------------------------------- /lib/percy/percy/dag_generation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/dag_generation.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/ditt_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/ditt_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/maj_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/maj_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/msv_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/msv_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/partial_dag_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/partial_dag_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/ssv_dag_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/ssv_dag_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/ssv_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/ssv_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/ssv_fence2_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/ssv_fence2_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/encoders/ssv_fence_encoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/encoders/ssv_fence_encoder.hpp -------------------------------------------------------------------------------- /lib/percy/percy/fence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/fence.hpp -------------------------------------------------------------------------------- /lib/percy/percy/io.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/io.hpp -------------------------------------------------------------------------------- /lib/percy/percy/mig.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/mig.hpp -------------------------------------------------------------------------------- /lib/percy/percy/misc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/misc.hpp -------------------------------------------------------------------------------- /lib/percy/percy/partial_dag.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/partial_dag.hpp -------------------------------------------------------------------------------- /lib/percy/percy/percy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/percy.hpp -------------------------------------------------------------------------------- /lib/percy/percy/sat_circuits.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/sat_circuits.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers/bmcg_sat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers/bmcg_sat.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers/bsat2.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers/bsat2.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers/cmsat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers/cmsat.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers/glucose.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers/glucose.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers/satoko.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers/satoko.hpp -------------------------------------------------------------------------------- /lib/percy/percy/solvers/solver_wrapper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/solvers/solver_wrapper.hpp -------------------------------------------------------------------------------- /lib/percy/percy/spec.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/spec.hpp -------------------------------------------------------------------------------- /lib/percy/percy/tt_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/percy/percy/tt_utils.hpp -------------------------------------------------------------------------------- /lib/rang/rang/rang.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/rang/rang/rang.hpp -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_config.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_dlalloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_dlalloc.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_memory.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_smartptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_smartptr.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_stdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_stdint.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_timer.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_traits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_traits.h -------------------------------------------------------------------------------- /lib/sparsepp/sparsepp/spp_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/sparsepp/sparsepp/spp_utils.h -------------------------------------------------------------------------------- /lib/tweedledum/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/.DS_Store -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/.DS_Store -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/decomposition/barenco.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/decomposition/barenco.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/decomposition/dt.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/decomposition/dt.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/generic/rewrite.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/generic/rewrite.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/cnot_patel.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/cnot_patel.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/dbs.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/dbs.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/diagonal_synth.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/diagonal_synth.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/esop_phase_synth.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/esop_phase_synth.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/gray_synth.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/gray_synth.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/linear_synth.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/linear_synth.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/stg.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/stg.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/algorithms/synthesis/tbs.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/algorithms/synthesis/tbs.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/gates/gate_base.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/gates/gate_base.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/gates/gate_set.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/gates/gate_set.def -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/gates/gate_set.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/gates/gate_set.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/gates/interface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/gates/interface.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/gates/mcmt_gate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/gates/mcmt_gate.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/gates/mcst_gate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/gates/mcst_gate.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/qasm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/qasm.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/quil.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/quil.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/read_device.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/read_device.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/write_dot.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/write_dot.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/write_projectq.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/write_projectq.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/write_qpic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/write_qpic.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/write_quirk.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/write_quirk.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/io/write_unicode.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/io/write_unicode.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/networks/detail/storage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/networks/detail/storage.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/networks/gg_network.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/networks/gg_network.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/networks/interface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/networks/interface.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/networks/netlist.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/networks/netlist.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/networks/qubit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/networks/qubit.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/traits.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/traits.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/tweedledum.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/tweedledum.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/angle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/angle.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/bit_matrix_cm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/bit_matrix_cm.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/bit_matrix_rm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/bit_matrix_rm.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/detail/bit_matrix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/detail/bit_matrix.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/device.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/device.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/dynamic_bitset.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/dynamic_bitset.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/foreach.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/foreach.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/hash.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/node_map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/node_map.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/parity_terms.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/parity_terms.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/permute.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/permute.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/utils/zdd.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/utils/zdd.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/views/depth_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/views/depth_view.hpp -------------------------------------------------------------------------------- /lib/tweedledum/tweedledum/views/immutable_view.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/lib/tweedledum/tweedledum/views/immutable_view.hpp -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/requirements.txt -------------------------------------------------------------------------------- /revkit/__init__.py: -------------------------------------------------------------------------------- 1 | from _revkit import * -------------------------------------------------------------------------------- /revkit/export/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /revkit/export/qiskit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/revkit/export/qiskit.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/setup.py -------------------------------------------------------------------------------- /test/test_netlist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/test/test_netlist.py -------------------------------------------------------------------------------- /test/test_tbs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/test/test_tbs.py -------------------------------------------------------------------------------- /test/test_truth_table.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoeken/revkit/HEAD/test/test_truth_table.py --------------------------------------------------------------------------------