.clang-format
.clang-tidy
.gitignore
.gitmodules
.pre-commit-config.yaml
CMakeLists.txt
LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
aigverse.egg-info/PKG-INFO
aigverse.egg-info/SOURCES.txt
aigverse.egg-info/dependency_links.txt
aigverse.egg-info/not-zip-safe
aigverse.egg-info/top_level.txt
bindings/CMakeLists.txt
bindings/__init__.py
bindings/aigverse/CMakeLists.txt
bindings/aigverse/__init__.py
bindings/aigverse/aigverse.cpp
bindings/aigverse/include/aigverse/adapters/edge_list.hpp
bindings/aigverse/include/aigverse/algorithms/equivalence_checking.hpp
bindings/aigverse/include/aigverse/algorithms/refactoring.hpp
bindings/aigverse/include/aigverse/algorithms/resubstitution.hpp
bindings/aigverse/include/aigverse/algorithms/rewriting.hpp
bindings/aigverse/include/aigverse/io/read_aiger.hpp
bindings/aigverse/include/aigverse/io/write_aiger.hpp
bindings/aigverse/include/aigverse/networks/logic_networks.hpp
cmake/Cache.cmake
cmake/CheckSubmodules.cmake
cmake/CompilerWarnings.cmake
cmake/Coverage.cmake
cmake/Hardening.cmake
cmake/InterproceduralOptimization.cmake
cmake/PackageProject.cmake
cmake/PreventInSourceBuilds.cmake
cmake/ProjectOptions.cmake
cmake/Sanitizers.cmake
cmake/StandardProjectSettings.cmake
cmake/SystemLink.cmake
cmake/Utilities.cmake
cmake/VCEnvironment.cmake
libs/.dcignore
libs/CMakeLists.txt
libs/mockturtle/.clang-format
libs/mockturtle/.codecov.yml
libs/mockturtle/.git
libs/mockturtle/.gitignore
libs/mockturtle/.pre-commit-config.yaml
libs/mockturtle/.readthedocs.yml
libs/mockturtle/CMakeLists.txt
libs/mockturtle/Dockerfile
libs/mockturtle/LICENSE
libs/mockturtle/README.md
libs/mockturtle/_typos.toml
libs/mockturtle/mockturtle.svg
libs/mockturtle/.ql/include.ql
libs/mockturtle/.ql/qlpack.yml
libs/mockturtle/.ql/queries.xml
libs/mockturtle/docs/Doxyfile
libs/mockturtle/docs/Makefile
libs/mockturtle/docs/acknowledgments.rst
libs/mockturtle/docs/changelog.rst
libs/mockturtle/docs/conf.py
libs/mockturtle/docs/debugging.rst
libs/mockturtle/docs/events.rst
libs/mockturtle/docs/getting_started.rst
libs/mockturtle/docs/implementations.rst
libs/mockturtle/docs/index.rst
libs/mockturtle/docs/network.rst
libs/mockturtle/docs/philosophy.rst
libs/mockturtle/docs/properties.rst
libs/mockturtle/docs/requirements.txt
libs/mockturtle/docs/sequential.rst
libs/mockturtle/docs/views.rst
libs/mockturtle/docs/_static/flow.svg
libs/mockturtle/docs/algorithms/aig_balancing.rst
libs/mockturtle/docs/algorithms/akers_synthesis.rst
libs/mockturtle/docs/algorithms/aqfp_resynthesis.rst
libs/mockturtle/docs/algorithms/balancing.rst
libs/mockturtle/docs/algorithms/bi_decomposition.rst
libs/mockturtle/docs/algorithms/buffer_insertion.rst
libs/mockturtle/docs/algorithms/circuit_validator.rst
libs/mockturtle/docs/algorithms/cleanup.rst
libs/mockturtle/docs/algorithms/cnf.rst
libs/mockturtle/docs/algorithms/collapse_mapped.rst
libs/mockturtle/docs/algorithms/cost_generic_resub.rst
libs/mockturtle/docs/algorithms/cover_to_graph.rst
libs/mockturtle/docs/algorithms/cut_enumeration.rst
libs/mockturtle/docs/algorithms/cut_rewriting.rst
libs/mockturtle/docs/algorithms/decomposition.rst
libs/mockturtle/docs/algorithms/dont_cares.rst
libs/mockturtle/docs/algorithms/dsd_decomposition.rst
libs/mockturtle/docs/algorithms/equivalence_checking.rst
libs/mockturtle/docs/algorithms/equivalence_classes.rst
libs/mockturtle/docs/algorithms/extract_adders.rst
libs/mockturtle/docs/algorithms/extract_linear.rst
libs/mockturtle/docs/algorithms/functional_reduction.rst
libs/mockturtle/docs/algorithms/gates_to_nodes.rst
libs/mockturtle/docs/algorithms/index_decompositions.rst
libs/mockturtle/docs/algorithms/index_information.rst
libs/mockturtle/docs/algorithms/index_restructuring.rst
libs/mockturtle/docs/algorithms/index_transformations.rst
libs/mockturtle/docs/algorithms/index_validation.rst
libs/mockturtle/docs/algorithms/klut_to_graph.rst
libs/mockturtle/docs/algorithms/linear_resynthesis.rst
libs/mockturtle/docs/algorithms/lut_mapping.rst
libs/mockturtle/docs/algorithms/mapper.rst
libs/mockturtle/docs/algorithms/mig_algebraic_rewriting.rst
libs/mockturtle/docs/algorithms/miter.rst
libs/mockturtle/docs/algorithms/node_resynthesis.rst
libs/mockturtle/docs/algorithms/pattern_generation.rst
libs/mockturtle/docs/algorithms/reconv_cut.rst
libs/mockturtle/docs/algorithms/refactoring.rst
libs/mockturtle/docs/algorithms/resubstitution.rst
libs/mockturtle/docs/algorithms/resyn_engines.rst
libs/mockturtle/docs/algorithms/retiming.rst
libs/mockturtle/docs/algorithms/rewrite.rst
libs/mockturtle/docs/algorithms/simulation.rst
libs/mockturtle/docs/algorithms/xag_algebraic_rewriting.rst
libs/mockturtle/docs/algorithms/xag_balancing.rst
libs/mockturtle/docs/algorithms/xag_optimization.rst
libs/mockturtle/docs/algorithms/xmg_optimization.rst
libs/mockturtle/docs/generators/arithmetic.rst
libs/mockturtle/docs/generators/control.rst
libs/mockturtle/docs/generators/majority.rst
libs/mockturtle/docs/generators/modular_arithmetic.rst
libs/mockturtle/docs/io/lorina_readers.rst
libs/mockturtle/docs/io/writers.rst
libs/mockturtle/docs/utils/util_data_structures.rst
libs/mockturtle/docs/utils/util_functions.rst
libs/mockturtle/include/CMakeLists.txt
libs/mockturtle/include/mockturtle/interface.hpp
libs/mockturtle/include/mockturtle/mockturtle.hpp
libs/mockturtle/include/mockturtle/traits.hpp
libs/mockturtle/include/mockturtle/algorithms/aig_balancing.hpp
libs/mockturtle/include/mockturtle/algorithms/aig_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/akers_synthesis.hpp
libs/mockturtle/include/mockturtle/algorithms/balancing.hpp
libs/mockturtle/include/mockturtle/algorithms/bi_decomposition.hpp
libs/mockturtle/include/mockturtle/algorithms/cell_window.hpp
libs/mockturtle/include/mockturtle/algorithms/circuit_validator.hpp
libs/mockturtle/include/mockturtle/algorithms/cleanup.hpp
libs/mockturtle/include/mockturtle/algorithms/cnf.hpp
libs/mockturtle/include/mockturtle/algorithms/collapse_mapped.hpp
libs/mockturtle/include/mockturtle/algorithms/cover_to_graph.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_rewriting.hpp
libs/mockturtle/include/mockturtle/algorithms/decomposition.hpp
libs/mockturtle/include/mockturtle/algorithms/dont_cares.hpp
libs/mockturtle/include/mockturtle/algorithms/dsd_decomposition.hpp
libs/mockturtle/include/mockturtle/algorithms/emap.hpp
libs/mockturtle/include/mockturtle/algorithms/equivalence_checking.hpp
libs/mockturtle/include/mockturtle/algorithms/equivalence_classes.hpp
libs/mockturtle/include/mockturtle/algorithms/exact_mc_synthesis.hpp
libs/mockturtle/include/mockturtle/algorithms/exorcism.hpp
libs/mockturtle/include/mockturtle/algorithms/explorer.hpp
libs/mockturtle/include/mockturtle/algorithms/extract_adders.hpp
libs/mockturtle/include/mockturtle/algorithms/extract_linear.hpp
libs/mockturtle/include/mockturtle/algorithms/functional_reduction.hpp
libs/mockturtle/include/mockturtle/algorithms/gates_to_nodes.hpp
libs/mockturtle/include/mockturtle/algorithms/klut_to_graph.hpp
libs/mockturtle/include/mockturtle/algorithms/linear_resynthesis.hpp
libs/mockturtle/include/mockturtle/algorithms/lut_mapper.hpp
libs/mockturtle/include/mockturtle/algorithms/lut_mapping.hpp
libs/mockturtle/include/mockturtle/algorithms/mapper.hpp
libs/mockturtle/include/mockturtle/algorithms/mig_algebraic_rewriting.hpp
libs/mockturtle/include/mockturtle/algorithms/mig_inv_optimization.hpp
libs/mockturtle/include/mockturtle/algorithms/mig_inv_propagation.hpp
libs/mockturtle/include/mockturtle/algorithms/mig_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/miter.hpp
libs/mockturtle/include/mockturtle/algorithms/network_fuzz_tester.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis.hpp
libs/mockturtle/include/mockturtle/algorithms/pattern_generation.hpp
libs/mockturtle/include/mockturtle/algorithms/reconv_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/refactoring.hpp
libs/mockturtle/include/mockturtle/algorithms/resubstitution.hpp
libs/mockturtle/include/mockturtle/algorithms/retiming.hpp
libs/mockturtle/include/mockturtle/algorithms/rewrite.hpp
libs/mockturtle/include/mockturtle/algorithms/satlut_mapping.hpp
libs/mockturtle/include/mockturtle/algorithms/sim_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/simulation.hpp
libs/mockturtle/include/mockturtle/algorithms/testcase_minimizer.hpp
libs/mockturtle/include/mockturtle/algorithms/window_rewriting.hpp
libs/mockturtle/include/mockturtle/algorithms/xag_algebraic_rewriting.hpp
libs/mockturtle/include/mockturtle/algorithms/xag_balancing.hpp
libs/mockturtle/include/mockturtle/algorithms/xag_optimization.hpp
libs/mockturtle/include/mockturtle/algorithms/xag_resub_withDC.hpp
libs/mockturtle/include/mockturtle/algorithms/xmg_algebraic_rewriting.hpp
libs/mockturtle/include/mockturtle/algorithms/xmg_optimization.hpp
libs/mockturtle/include/mockturtle/algorithms/xmg_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_assumptions.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_cleanup.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_db.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_fanout_resyn.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_legalization.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_node_resyn.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_rebuild.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_resynthesis.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/aqfp_retiming.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/buffer_insertion.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/buffer_verification.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/mig_algebraic_rewriting_splitters.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/mig_resub_splitters.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/optimal_buffer_insertion.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/dag.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/dag_cost.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/dag_gen.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/dag_util.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/db_builder.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/db_utils.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/npn_cache.hpp
libs/mockturtle/include/mockturtle/algorithms/aqfp/detail/partial_dag.hpp
libs/mockturtle/include/mockturtle/algorithms/balancing/esop_balancing.hpp
libs/mockturtle/include/mockturtle/algorithms/balancing/sop_balancing.hpp
libs/mockturtle/include/mockturtle/algorithms/balancing/utils.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/cnf_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/exact_map_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/rewrite_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/cut_enumeration/tech_map_cut.hpp
libs/mockturtle/include/mockturtle/algorithms/detail/database_generator.hpp
libs/mockturtle/include/mockturtle/algorithms/detail/mffc_utils.hpp
libs/mockturtle/include/mockturtle/algorithms/detail/minmc_xags.hpp
libs/mockturtle/include/mockturtle/algorithms/detail/resub_utils.hpp
libs/mockturtle/include/mockturtle/algorithms/detail/switching_activity.hpp
libs/mockturtle/include/mockturtle/algorithms/experimental/boolean_optimization.hpp
libs/mockturtle/include/mockturtle/algorithms/experimental/cost_generic_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/experimental/cost_resyn.hpp
libs/mockturtle/include/mockturtle/algorithms/experimental/decompose_multioutput.hpp
libs/mockturtle/include/mockturtle/algorithms/experimental/sim_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/experimental/window_resub.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/akers.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/bidecomposition.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/cached.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/composed.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/davio.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/direct.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/dsd.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/exact.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/null.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/shannon.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/sop_factoring.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/traits.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/xag_minmc2.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/xmg3_npn.hpp
libs/mockturtle/include/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp
libs/mockturtle/include/mockturtle/algorithms/resyn_engines/aig_enumerative.hpp
libs/mockturtle/include/mockturtle/algorithms/resyn_engines/dump_resyn.hpp
libs/mockturtle/include/mockturtle/algorithms/resyn_engines/mig_enumerative.hpp
libs/mockturtle/include/mockturtle/algorithms/resyn_engines/mig_resyn.hpp
libs/mockturtle/include/mockturtle/algorithms/resyn_engines/mux_resyn.hpp
libs/mockturtle/include/mockturtle/algorithms/resyn_engines/xag_resyn.hpp
libs/mockturtle/include/mockturtle/generators/arithmetic.hpp
libs/mockturtle/include/mockturtle/generators/control.hpp
libs/mockturtle/include/mockturtle/generators/legacy.hpp
libs/mockturtle/include/mockturtle/generators/majority.hpp
libs/mockturtle/include/mockturtle/generators/majority_n.hpp
libs/mockturtle/include/mockturtle/generators/modular_arithmetic.hpp
libs/mockturtle/include/mockturtle/generators/random_network.hpp
libs/mockturtle/include/mockturtle/generators/self_dualize.hpp
libs/mockturtle/include/mockturtle/generators/sorting.hpp
libs/mockturtle/include/mockturtle/io/aiger_reader.hpp
libs/mockturtle/include/mockturtle/io/bench_reader.hpp
libs/mockturtle/include/mockturtle/io/blif_reader.hpp
libs/mockturtle/include/mockturtle/io/bristol_reader.hpp
libs/mockturtle/include/mockturtle/io/dimacs_reader.hpp
libs/mockturtle/include/mockturtle/io/genlib_reader.hpp
libs/mockturtle/include/mockturtle/io/pla_reader.hpp
libs/mockturtle/include/mockturtle/io/serialize.hpp
libs/mockturtle/include/mockturtle/io/super_reader.hpp
libs/mockturtle/include/mockturtle/io/verilog_reader.hpp
libs/mockturtle/include/mockturtle/io/write_aiger.hpp
libs/mockturtle/include/mockturtle/io/write_bench.hpp
libs/mockturtle/include/mockturtle/io/write_blif.hpp
libs/mockturtle/include/mockturtle/io/write_dimacs.hpp
libs/mockturtle/include/mockturtle/io/write_dot.hpp
libs/mockturtle/include/mockturtle/io/write_genlib.hpp
libs/mockturtle/include/mockturtle/io/write_patterns.hpp
libs/mockturtle/include/mockturtle/io/write_verilog.hpp
libs/mockturtle/include/mockturtle/networks/abstract_xag.hpp
libs/mockturtle/include/mockturtle/networks/aig.hpp
libs/mockturtle/include/mockturtle/networks/aqfp.hpp
libs/mockturtle/include/mockturtle/networks/block.hpp
libs/mockturtle/include/mockturtle/networks/buffered.hpp
libs/mockturtle/include/mockturtle/networks/cover.hpp
libs/mockturtle/include/mockturtle/networks/crossed.hpp
libs/mockturtle/include/mockturtle/networks/events.hpp
libs/mockturtle/include/mockturtle/networks/generic.hpp
libs/mockturtle/include/mockturtle/networks/gia.hpp
libs/mockturtle/include/mockturtle/networks/klut.hpp
libs/mockturtle/include/mockturtle/networks/mig.hpp
libs/mockturtle/include/mockturtle/networks/muxig.hpp
libs/mockturtle/include/mockturtle/networks/sequential.hpp
libs/mockturtle/include/mockturtle/networks/storage.hpp
libs/mockturtle/include/mockturtle/networks/tig.hpp
libs/mockturtle/include/mockturtle/networks/xag.hpp
libs/mockturtle/include/mockturtle/networks/xmg.hpp
libs/mockturtle/include/mockturtle/networks/detail/foreach.hpp
libs/mockturtle/include/mockturtle/properties/aqfpcost.hpp
libs/mockturtle/include/mockturtle/properties/litcost.hpp
libs/mockturtle/include/mockturtle/properties/mccost.hpp
libs/mockturtle/include/mockturtle/properties/migcost.hpp
libs/mockturtle/include/mockturtle/properties/xmgcost.hpp
libs/mockturtle/include/mockturtle/utils/abc.hpp
libs/mockturtle/include/mockturtle/utils/algorithm.hpp
libs/mockturtle/include/mockturtle/utils/cost_functions.hpp
libs/mockturtle/include/mockturtle/utils/cuts.hpp
libs/mockturtle/include/mockturtle/utils/debugging_utils.hpp
libs/mockturtle/include/mockturtle/utils/hash_functions.hpp
libs/mockturtle/include/mockturtle/utils/index_list.hpp
libs/mockturtle/include/mockturtle/utils/json_utils.hpp
libs/mockturtle/include/mockturtle/utils/mixed_radix.hpp
libs/mockturtle/include/mockturtle/utils/name_utils.hpp
libs/mockturtle/include/mockturtle/utils/network_cache.hpp
libs/mockturtle/include/mockturtle/utils/network_utils.hpp
libs/mockturtle/include/mockturtle/utils/node_map.hpp
libs/mockturtle/include/mockturtle/utils/null_utils.hpp
libs/mockturtle/include/mockturtle/utils/progress_bar.hpp
libs/mockturtle/include/mockturtle/utils/recursive_cost_functions.hpp
libs/mockturtle/include/mockturtle/utils/sop_utils.hpp
libs/mockturtle/include/mockturtle/utils/standard_cell.hpp
libs/mockturtle/include/mockturtle/utils/stopwatch.hpp
libs/mockturtle/include/mockturtle/utils/string_utils.hpp
libs/mockturtle/include/mockturtle/utils/struct_library.hpp
libs/mockturtle/include/mockturtle/utils/super_utils.hpp
libs/mockturtle/include/mockturtle/utils/tech_library.hpp
libs/mockturtle/include/mockturtle/utils/truth_table_cache.hpp
libs/mockturtle/include/mockturtle/utils/truth_table_utils.hpp
libs/mockturtle/include/mockturtle/utils/window_utils.hpp
libs/mockturtle/include/mockturtle/utils/include/percy.hpp
libs/mockturtle/include/mockturtle/utils/include/supergate.hpp
libs/mockturtle/include/mockturtle/views/binding_view.hpp
libs/mockturtle/include/mockturtle/views/cell_view.hpp
libs/mockturtle/include/mockturtle/views/choice_view.hpp
libs/mockturtle/include/mockturtle/views/cnf_view.hpp
libs/mockturtle/include/mockturtle/views/color_view.hpp
libs/mockturtle/include/mockturtle/views/cost_view.hpp
libs/mockturtle/include/mockturtle/views/cut_view.hpp
libs/mockturtle/include/mockturtle/views/depth_view.hpp
libs/mockturtle/include/mockturtle/views/dont_care_view.hpp
libs/mockturtle/include/mockturtle/views/dont_touch_view.hpp
libs/mockturtle/include/mockturtle/views/fanout_limit_view.hpp
libs/mockturtle/include/mockturtle/views/fanout_view.hpp
libs/mockturtle/include/mockturtle/views/immutable_view.hpp
libs/mockturtle/include/mockturtle/views/mapping_view.hpp
libs/mockturtle/include/mockturtle/views/mffc_view.hpp
libs/mockturtle/include/mockturtle/views/names_view.hpp
libs/mockturtle/include/mockturtle/views/rank_view.hpp
libs/mockturtle/include/mockturtle/views/topo_view.hpp
libs/mockturtle/include/mockturtle/views/window_view.hpp
libs/mockturtle/lib/CMakeLists.txt
libs/mockturtle/lib/abcesop/CMakeLists.txt
libs/mockturtle/lib/abcesop/exor.cpp
libs/mockturtle/lib/abcesop/exorBits.cpp
libs/mockturtle/lib/abcesop/exorCubes.cpp
libs/mockturtle/lib/abcesop/exorLink.cpp
libs/mockturtle/lib/abcesop/exorList.cpp
libs/mockturtle/lib/abcesop/exorUtil.cpp
libs/mockturtle/lib/abcesop/eabc/abc_global.h
libs/mockturtle/lib/abcesop/eabc/exor.h
libs/mockturtle/lib/abcesop/eabc/vecInt.h
libs/mockturtle/lib/abcesop/eabc/vecPtr.h
libs/mockturtle/lib/abcesop/eabc/vecWec.h
libs/mockturtle/lib/abcsat/AbcGlucose.cpp
libs/mockturtle/lib/abcsat/CMakeLists.txt
libs/mockturtle/lib/abcsat/Glucose.cpp
libs/mockturtle/lib/abcsat/SimpSolver.cpp
libs/mockturtle/lib/abcsat/satSolver.cpp
libs/mockturtle/lib/abcsat/satStore.cpp
libs/mockturtle/lib/abcsat/abc/AbcGlucose.h
libs/mockturtle/lib/abcsat/abc/Alg.h
libs/mockturtle/lib/abcsat/abc/Alloc.h
libs/mockturtle/lib/abcsat/abc/BoundedQueue.h
libs/mockturtle/lib/abcsat/abc/Constants.h
libs/mockturtle/lib/abcsat/abc/Dimacs.h
libs/mockturtle/lib/abcsat/abc/Heap.h
libs/mockturtle/lib/abcsat/abc/IntTypes.h
libs/mockturtle/lib/abcsat/abc/Map.h
libs/mockturtle/lib/abcsat/abc/Queue.h
libs/mockturtle/lib/abcsat/abc/SimpSolver.h
libs/mockturtle/lib/abcsat/abc/Solver.h
libs/mockturtle/lib/abcsat/abc/SolverTypes.h
libs/mockturtle/lib/abcsat/abc/Sort.h
libs/mockturtle/lib/abcsat/abc/Vec.h
libs/mockturtle/lib/abcsat/abc/XAlloc.h
libs/mockturtle/lib/abcsat/abc/abc_global.h
libs/mockturtle/lib/abcsat/abc/abc_namespaces.h
libs/mockturtle/lib/abcsat/abc/pstdint.h
libs/mockturtle/lib/abcsat/abc/satClause.h
libs/mockturtle/lib/abcsat/abc/satSolver.h
libs/mockturtle/lib/abcsat/abc/satStore.h
libs/mockturtle/lib/abcsat/abc/satVec.h
libs/mockturtle/lib/abcsat/abc/system.h
libs/mockturtle/lib/abcsat/abc/utilDouble.h
libs/mockturtle/lib/abcsat/abc/vecInt.h
libs/mockturtle/lib/abcsat/abc/vecWec.h
libs/mockturtle/lib/bill/bill/bill.hpp
libs/mockturtle/lib/bill/bill/dd/cudd_zdd.hpp
libs/mockturtle/lib/bill/bill/dd/zdd.hpp
libs/mockturtle/lib/bill/bill/sat/cardinality.hpp
libs/mockturtle/lib/bill/bill/sat/incremental_totalizer_cardinality.hpp
libs/mockturtle/lib/bill/bill/sat/solver.hpp
libs/mockturtle/lib/bill/bill/sat/tseytin.hpp
libs/mockturtle/lib/bill/bill/sat/unsat_cores.hpp
libs/mockturtle/lib/bill/bill/sat/xor_clauses.hpp
libs/mockturtle/lib/bill/bill/sat/interface/abc_bmcg.hpp
libs/mockturtle/lib/bill/bill/sat/interface/abc_bsat2.hpp
libs/mockturtle/lib/bill/bill/sat/interface/common.hpp
libs/mockturtle/lib/bill/bill/sat/interface/ghack.hpp
libs/mockturtle/lib/bill/bill/sat/interface/glucose.hpp
libs/mockturtle/lib/bill/bill/sat/interface/maple.hpp
libs/mockturtle/lib/bill/bill/sat/interface/types.hpp
libs/mockturtle/lib/bill/bill/sat/interface/z3.hpp
libs/mockturtle/lib/bill/bill/sat/solver/abc.hpp
libs/mockturtle/lib/bill/bill/sat/solver/ghack.hpp
libs/mockturtle/lib/bill/bill/sat/solver/glucose.hpp
libs/mockturtle/lib/bill/bill/sat/solver/maple.hpp
libs/mockturtle/lib/bill/bill/sat/solver/abc/AbcGlucose.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Alg.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Alloc.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/BoundedQueue.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Constants.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Dimacs.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Heap.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/IntTypes.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Map.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Queue.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/SimpSolver.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Solver.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/SolverTypes.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Sort.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/Vec.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/XAlloc.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/abc_global.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/abc_namespaces.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/pstdint.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/satClause.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/satSolver.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/satStore.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/satVec.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/system.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/utilDouble.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/vecInt.h
libs/mockturtle/lib/bill/bill/sat/solver/abc/vecWec.h
libs/mockturtle/lib/bill/bill/utils/hash.hpp
libs/mockturtle/lib/bill/bill/utils/platforms.hpp
libs/mockturtle/lib/fmt/LICENSE.rst
libs/mockturtle/lib/fmt/fmt/chrono.h
libs/mockturtle/lib/fmt/fmt/color.h
libs/mockturtle/lib/fmt/fmt/compile.h
libs/mockturtle/lib/fmt/fmt/core.h
libs/mockturtle/lib/fmt/fmt/format-inl.h
libs/mockturtle/lib/fmt/fmt/format.cc
libs/mockturtle/lib/fmt/fmt/format.h
libs/mockturtle/lib/fmt/fmt/locale.h
libs/mockturtle/lib/fmt/fmt/os.cc
libs/mockturtle/lib/fmt/fmt/os.h
libs/mockturtle/lib/fmt/fmt/ostream.h
libs/mockturtle/lib/fmt/fmt/posix.h
libs/mockturtle/lib/fmt/fmt/printf.h
libs/mockturtle/lib/fmt/fmt/ranges.h
libs/mockturtle/lib/json/nlohmann/json.hpp
libs/mockturtle/lib/kitty/kitty/affine.hpp
libs/mockturtle/lib/kitty/kitty/algorithm.hpp
libs/mockturtle/lib/kitty/kitty/bit_operations.hpp
libs/mockturtle/lib/kitty/kitty/cnf.hpp
libs/mockturtle/lib/kitty/kitty/constructors.hpp
libs/mockturtle/lib/kitty/kitty/cube.hpp
libs/mockturtle/lib/kitty/kitty/decomposition.hpp
libs/mockturtle/lib/kitty/kitty/dynamic_truth_table.hpp
libs/mockturtle/lib/kitty/kitty/enumeration.hpp
libs/mockturtle/lib/kitty/kitty/esop.hpp
libs/mockturtle/lib/kitty/kitty/hash.hpp
libs/mockturtle/lib/kitty/kitty/implicant.hpp
libs/mockturtle/lib/kitty/kitty/isop.hpp
libs/mockturtle/lib/kitty/kitty/karnaugh_map.hpp
libs/mockturtle/lib/kitty/kitty/kitty.hpp
libs/mockturtle/lib/kitty/kitty/npn.hpp
libs/mockturtle/lib/kitty/kitty/operations.hpp
libs/mockturtle/lib/kitty/kitty/operators.hpp
libs/mockturtle/lib/kitty/kitty/partial_truth_table.hpp
libs/mockturtle/lib/kitty/kitty/permutation.hpp
libs/mockturtle/lib/kitty/kitty/print.hpp
libs/mockturtle/lib/kitty/kitty/properties.hpp
libs/mockturtle/lib/kitty/kitty/quaternary_truth_table.hpp
libs/mockturtle/lib/kitty/kitty/spectral.hpp
libs/mockturtle/lib/kitty/kitty/spp.hpp
libs/mockturtle/lib/kitty/kitty/static_truth_table.hpp
libs/mockturtle/lib/kitty/kitty/ternary_truth_table.hpp
libs/mockturtle/lib/kitty/kitty/traits.hpp
libs/mockturtle/lib/kitty/kitty/detail/constants.hpp
libs/mockturtle/lib/kitty/kitty/detail/linear_constants.hpp
libs/mockturtle/lib/kitty/kitty/detail/mscfix.hpp
libs/mockturtle/lib/kitty/kitty/detail/shift.hpp
libs/mockturtle/lib/kitty/kitty/detail/utils.hpp
libs/mockturtle/lib/lorina/lorina/aiger.hpp
libs/mockturtle/lib/lorina/lorina/bench.hpp
libs/mockturtle/lib/lorina/lorina/blif.hpp
libs/mockturtle/lib/lorina/lorina/bristol.hpp
libs/mockturtle/lib/lorina/lorina/common.hpp
libs/mockturtle/lib/lorina/lorina/diagnostics.hpp
libs/mockturtle/lib/lorina/lorina/diagnostics.inc
libs/mockturtle/lib/lorina/lorina/dimacs.hpp
libs/mockturtle/lib/lorina/lorina/genlib.hpp
libs/mockturtle/lib/lorina/lorina/lorina.hpp
libs/mockturtle/lib/lorina/lorina/pla.hpp
libs/mockturtle/lib/lorina/lorina/super.hpp
libs/mockturtle/lib/lorina/lorina/verilog.hpp
libs/mockturtle/lib/lorina/lorina/verilog_regex.hpp
libs/mockturtle/lib/lorina/lorina/detail/call_in_topological_order.hpp
libs/mockturtle/lib/lorina/lorina/detail/tokenizer.hpp
libs/mockturtle/lib/lorina/lorina/detail/utils.hpp
libs/mockturtle/lib/matplot/matplot/matplotlibcpp.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/btree.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/conanfile.py
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/meminfo.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap_base.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap_bits.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap_config.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap_dump.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap_fwd_decl.h
libs/mockturtle/lib/parallel_hashmap/parallel_hashmap/phmap_utils.h
libs/mockturtle/lib/percy/percy/chain.hpp
libs/mockturtle/lib/percy/percy/cnf.hpp
libs/mockturtle/lib/percy/percy/concurrentqueue.h
libs/mockturtle/lib/percy/percy/dag.hpp
libs/mockturtle/lib/percy/percy/dag_generation.hpp
libs/mockturtle/lib/percy/percy/encoders.hpp
libs/mockturtle/lib/percy/percy/fence.hpp
libs/mockturtle/lib/percy/percy/io.hpp
libs/mockturtle/lib/percy/percy/majority_chain.hpp
libs/mockturtle/lib/percy/percy/mig.hpp
libs/mockturtle/lib/percy/percy/misc.hpp
libs/mockturtle/lib/percy/percy/partial_dag.hpp
libs/mockturtle/lib/percy/percy/percy.hpp
libs/mockturtle/lib/percy/percy/printer.hpp
libs/mockturtle/lib/percy/percy/sat_circuits.hpp
libs/mockturtle/lib/percy/percy/solvers.hpp
libs/mockturtle/lib/percy/percy/spec.hpp
libs/mockturtle/lib/percy/percy/tt_utils.hpp
libs/mockturtle/lib/percy/percy/encoders/aig_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/ditt_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/ditt_maj_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/maj_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/mig_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/msv_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/partial_dag_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/ssv_dag_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/ssv_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/ssv_fence2_encoder.hpp
libs/mockturtle/lib/percy/percy/encoders/ssv_fence_encoder.hpp
libs/mockturtle/lib/percy/percy/generators/partial_dag3_generator.hpp
libs/mockturtle/lib/percy/percy/generators/partial_dag_generator.hpp
libs/mockturtle/lib/percy/percy/solvers/bmcg_sat.hpp
libs/mockturtle/lib/percy/percy/solvers/bsat2.hpp
libs/mockturtle/lib/percy/percy/solvers/cmsat.hpp
libs/mockturtle/lib/percy/percy/solvers/glucose.hpp
libs/mockturtle/lib/percy/percy/solvers/satoko.hpp
libs/mockturtle/lib/percy/percy/solvers/solver_wrapper.hpp
libs/mockturtle/lib/rang/rang/rang.hpp
libs/mockturtle/tools/cleanup.py
libs/pybind11/.appveyor.yml
libs/pybind11/.clang-format
libs/pybind11/.clang-tidy
libs/pybind11/.cmake-format.yaml
libs/pybind11/.codespell-ignore-lines
libs/pybind11/.git
libs/pybind11/.gitattributes
libs/pybind11/.gitignore
libs/pybind11/.pre-commit-config.yaml
libs/pybind11/.readthedocs.yml
libs/pybind11/CMakeLists.txt
libs/pybind11/LICENSE
libs/pybind11/MANIFEST.in
libs/pybind11/README.rst
libs/pybind11/SECURITY.md
libs/pybind11/noxfile.py
libs/pybind11/pyproject.toml
libs/pybind11/setup.cfg
libs/pybind11/setup.py
libs/pybind11/docs/Doxyfile
libs/pybind11/docs/Makefile
libs/pybind11/docs/basics.rst
libs/pybind11/docs/benchmark.py
libs/pybind11/docs/benchmark.rst
libs/pybind11/docs/changelog.rst
libs/pybind11/docs/classes.rst
libs/pybind11/docs/compiling.rst
libs/pybind11/docs/conf.py
libs/pybind11/docs/faq.rst
libs/pybind11/docs/index.rst
libs/pybind11/docs/installing.rst
libs/pybind11/docs/limitations.rst
libs/pybind11/docs/pybind11-logo.png
libs/pybind11/docs/pybind11_vs_boost_python1.png
libs/pybind11/docs/pybind11_vs_boost_python1.svg
libs/pybind11/docs/pybind11_vs_boost_python2.png
libs/pybind11/docs/pybind11_vs_boost_python2.svg
libs/pybind11/docs/reference.rst
libs/pybind11/docs/release.rst
libs/pybind11/docs/requirements.in
libs/pybind11/docs/requirements.txt
libs/pybind11/docs/upgrade.rst
libs/pybind11/docs/advanced/classes.rst
libs/pybind11/docs/advanced/embedding.rst
libs/pybind11/docs/advanced/exceptions.rst
libs/pybind11/docs/advanced/functions.rst
libs/pybind11/docs/advanced/misc.rst
libs/pybind11/docs/advanced/smart_ptrs.rst
libs/pybind11/docs/advanced/cast/chrono.rst
libs/pybind11/docs/advanced/cast/custom.rst
libs/pybind11/docs/advanced/cast/eigen.rst
libs/pybind11/docs/advanced/cast/functional.rst
libs/pybind11/docs/advanced/cast/index.rst
libs/pybind11/docs/advanced/cast/overview.rst
libs/pybind11/docs/advanced/cast/stl.rst
libs/pybind11/docs/advanced/cast/strings.rst
libs/pybind11/docs/advanced/pycpp/index.rst
libs/pybind11/docs/advanced/pycpp/numpy.rst
libs/pybind11/docs/advanced/pycpp/object.rst
libs/pybind11/docs/advanced/pycpp/utilities.rst
libs/pybind11/docs/cmake/index.rst
libs/pybind11/include/pybind11/attr.h
libs/pybind11/include/pybind11/buffer_info.h
libs/pybind11/include/pybind11/cast.h
libs/pybind11/include/pybind11/chrono.h
libs/pybind11/include/pybind11/common.h
libs/pybind11/include/pybind11/complex.h
libs/pybind11/include/pybind11/eigen.h
libs/pybind11/include/pybind11/embed.h
libs/pybind11/include/pybind11/eval.h
libs/pybind11/include/pybind11/functional.h
libs/pybind11/include/pybind11/gil.h
libs/pybind11/include/pybind11/gil_safe_call_once.h
libs/pybind11/include/pybind11/iostream.h
libs/pybind11/include/pybind11/numpy.h
libs/pybind11/include/pybind11/operators.h
libs/pybind11/include/pybind11/options.h
libs/pybind11/include/pybind11/pybind11.h
libs/pybind11/include/pybind11/pytypes.h
libs/pybind11/include/pybind11/stl.h
libs/pybind11/include/pybind11/stl_bind.h
libs/pybind11/include/pybind11/type_caster_pyobject_ptr.h
libs/pybind11/include/pybind11/typing.h
libs/pybind11/include/pybind11/warnings.h
libs/pybind11/include/pybind11/detail/class.h
libs/pybind11/include/pybind11/detail/common.h
libs/pybind11/include/pybind11/detail/cpp_conduit.h
libs/pybind11/include/pybind11/detail/descr.h
libs/pybind11/include/pybind11/detail/exception_translation.h
libs/pybind11/include/pybind11/detail/init.h
libs/pybind11/include/pybind11/detail/internals.h
libs/pybind11/include/pybind11/detail/type_caster_base.h
libs/pybind11/include/pybind11/detail/typeid.h
libs/pybind11/include/pybind11/detail/value_and_holder.h
libs/pybind11/include/pybind11/eigen/common.h
libs/pybind11/include/pybind11/eigen/matrix.h
libs/pybind11/include/pybind11/eigen/tensor.h
libs/pybind11/include/pybind11/stl/filesystem.h
libs/pybind11/pybind11/__init__.py
libs/pybind11/pybind11/__main__.py
libs/pybind11/pybind11/_version.py
libs/pybind11/pybind11/commands.py
libs/pybind11/pybind11/py.typed
libs/pybind11/pybind11/setup_helpers.py
libs/pybind11/tools/FindCatch.cmake
libs/pybind11/tools/FindEigen3.cmake
libs/pybind11/tools/FindPythonLibsNew.cmake
libs/pybind11/tools/JoinPaths.cmake
libs/pybind11/tools/check-style.sh
libs/pybind11/tools/cmake_uninstall.cmake.in
libs/pybind11/tools/codespell_ignore_lines_from_errors.py
libs/pybind11/tools/libsize.py
libs/pybind11/tools/make_changelog.py
libs/pybind11/tools/pybind11.pc.in
libs/pybind11/tools/pybind11Common.cmake
libs/pybind11/tools/pybind11Config.cmake.in
libs/pybind11/tools/pybind11GuessPythonExtSuffix.cmake
libs/pybind11/tools/pybind11NewTools.cmake
libs/pybind11/tools/pybind11Tools.cmake
libs/pybind11/tools/pyproject.toml
libs/pybind11/tools/setup_global.py.in
libs/pybind11/tools/setup_main.py.in
libs/pybind11/tools/test-pybind11GuessPythonExtSuffix.cmake