HomePhorge
Diffusion SoC_NEM_Synthesis 63d4bb1d215f

feat: init base functionality
63d4bb1d215f
Actions

Referenced Files
None
Subscribers
None

Description

feat: init base functionality

Details

Provenance
otheimerAuthored on Oct 10 2025, 2:16 PM
otheimerPushed on Oct 10 2025, 2:16 PM
Parents
R272:2a624383a3b7: org: init License, repo, README
Branches
Unknown
Tags
Unknown

Changes (651)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.
PathSize
include/

R272:63d4bb1d215f

View Options

include/CMakeLists.txt

View Options

include/mockturtle/algorithms/aig_balancing.hpp

View Options

include/mockturtle/algorithms/aig_resub.hpp

View Options

include/mockturtle/algorithms/akers_synthesis.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_assumptions.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_cleanup.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_db.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_fanout_resyn.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_legalization.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_node_resyn.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_rebuild.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_resynthesis.hpp

View Options

include/mockturtle/algorithms/aqfp/aqfp_retiming.hpp

View Options

include/mockturtle/algorithms/aqfp/buffer_insertion.hpp

View Options

include/mockturtle/algorithms/aqfp/buffer_verification.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/dag.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/dag_cost.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/dag_gen.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/dag_util.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/db_builder.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/db_utils.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/npn_cache.hpp

View Options

include/mockturtle/algorithms/aqfp/detail/partial_dag.hpp

View Options

include/mockturtle/algorithms/aqfp/mig_algebraic_rewriting_splitters.hpp

View Options

include/mockturtle/algorithms/aqfp/mig_resub_splitters.hpp

View Options

include/mockturtle/algorithms/aqfp/optimal_buffer_insertion.hpp

View Options

include/mockturtle/algorithms/balancing.hpp

View Options

include/mockturtle/algorithms/balancing/esop_balancing.hpp

View Options

include/mockturtle/algorithms/balancing/sop_balancing.hpp

View Options

include/mockturtle/algorithms/balancing/utils.hpp

View Options

include/mockturtle/algorithms/bi_decomposition.hpp

View Options

include/mockturtle/algorithms/cell_window.hpp

View Options

include/mockturtle/algorithms/circuit_validator.hpp

View Options

include/mockturtle/algorithms/cleanup.hpp

View Options

include/mockturtle/algorithms/cnf.hpp

View Options

include/mockturtle/algorithms/collapse_mapped.hpp

View Options

include/mockturtle/algorithms/cover_to_graph.hpp

View Options

include/mockturtle/algorithms/cut_enumeration.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/cnf_cut.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/exact_map_cut.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/gia_cut.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/mf_cut.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/rewrite_cut.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/spectr_cut.hpp

View Options

include/mockturtle/algorithms/cut_enumeration/tech_map_cut.hpp

View Options

include/mockturtle/algorithms/cut_rewriting.hpp

View Options

include/mockturtle/algorithms/decomposition.hpp

View Options

include/mockturtle/algorithms/detail/database_generator.hpp

View Options

include/mockturtle/algorithms/detail/mffc_utils.hpp

View Options

include/mockturtle/algorithms/detail/minmc_xags.hpp

View Options

include/mockturtle/algorithms/detail/resub_utils.hpp

View Options

include/mockturtle/algorithms/detail/switching_activity.hpp

View Options

include/mockturtle/algorithms/dont_cares.hpp

View Options

include/mockturtle/algorithms/dsd_decomposition.hpp

View Options

include/mockturtle/algorithms/emap.hpp

View Options

include/mockturtle/algorithms/equivalence_checking.hpp

View Options

include/mockturtle/algorithms/equivalence_classes.hpp

View Options

include/mockturtle/algorithms/exact_mc_synthesis.hpp

View Options

include/mockturtle/algorithms/exorcism.hpp

View Options

include/mockturtle/algorithms/experimental/boolean_optimization.hpp

View Options

include/mockturtle/algorithms/experimental/cost_generic_resub.hpp

View Options

include/mockturtle/algorithms/experimental/cost_resyn.hpp

View Options

include/mockturtle/algorithms/experimental/decompose_multioutput.hpp

View Options

include/mockturtle/algorithms/experimental/sim_resub.hpp

View Options

include/mockturtle/algorithms/experimental/window_resub.hpp

View Options

include/mockturtle/algorithms/explorer.hpp

View Options

include/mockturtle/algorithms/extract_adders.hpp

View Options

include/mockturtle/algorithms/extract_linear.hpp

View Options

include/mockturtle/algorithms/functional_reduction.hpp

View Options

include/mockturtle/algorithms/gates_to_nodes.hpp

View Options

include/mockturtle/algorithms/klut_to_graph.hpp

View Options

include/mockturtle/algorithms/linear_resynthesis.hpp

View Options

include/mockturtle/algorithms/lut_mapper.hpp

View Options

include/mockturtle/algorithms/lut_mapping.hpp

View Options

include/mockturtle/algorithms/mapper.hpp

View Options

include/mockturtle/algorithms/mig_algebraic_rewriting.hpp

View Options

include/mockturtle/algorithms/mig_inv_optimization.hpp

View Options

include/mockturtle/algorithms/mig_inv_propagation.hpp

View Options

include/mockturtle/algorithms/mig_resub.hpp

View Options

include/mockturtle/algorithms/miter.hpp

View Options

include/mockturtle/algorithms/network_fuzz_tester.hpp

View Options

include/mockturtle/algorithms/node_resynthesis.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/akers.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/bidecomposition.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/cached.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/composed.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/davio.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/direct.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/dsd.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/exact.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/mig_npn.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/mux_resynthesis.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/null.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/shannon.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/sop_factoring.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/traits.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/xag_minmc.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/xag_minmc2.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/xag_npn.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/xmg3_npn.hpp

View Options

include/mockturtle/algorithms/node_resynthesis/xmg_npn.hpp

View Options

include/mockturtle/algorithms/pattern_generation.hpp

View Options

include/mockturtle/algorithms/reconv_cut.hpp

View Options

include/mockturtle/algorithms/refactoring.hpp

View Options

include/mockturtle/algorithms/resubstitution.hpp

View Options

include/mockturtle/algorithms/resyn_engines/aig_enumerative.hpp

View Options

include/mockturtle/algorithms/resyn_engines/dump_resyn.hpp

View Options

include/mockturtle/algorithms/resyn_engines/mig_enumerative.hpp

View Options

include/mockturtle/algorithms/resyn_engines/mig_resyn.hpp

View Options

include/mockturtle/algorithms/resyn_engines/mux_resyn.hpp

View Options

include/mockturtle/algorithms/resyn_engines/mux_resyn_select_opt.hpp

View Options

include/mockturtle/algorithms/resyn_engines/mux_resyn_xnor_sel.hpp

View Options

include/mockturtle/algorithms/resyn_engines/xag_resyn.hpp

View Options

include/mockturtle/algorithms/retiming.hpp

View Options

include/mockturtle/algorithms/rewrite.hpp

View Options

include/mockturtle/algorithms/satlut_mapping.hpp

View Options

include/mockturtle/algorithms/sim_resub.hpp

View Options

include/mockturtle/algorithms/simulation.hpp

View Options

include/mockturtle/algorithms/testcase_minimizer.hpp

View Options

include/mockturtle/algorithms/window_rewriting.hpp

View Options

include/mockturtle/algorithms/xag_algebraic_rewriting.hpp

View Options

include/mockturtle/algorithms/xag_balancing.hpp

View Options

include/mockturtle/algorithms/xag_optimization.hpp

View Options

include/mockturtle/algorithms/xag_resub.hpp

View Options

include/mockturtle/algorithms/xag_resub_withDC.hpp

View Options

include/mockturtle/algorithms/xmg_algebraic_rewriting.hpp

View Options

include/mockturtle/algorithms/xmg_optimization.hpp

View Options

include/mockturtle/algorithms/xmg_resub.hpp

View Options

include/mockturtle/generators/arithmetic.hpp

View Options

include/mockturtle/generators/control.hpp

View Options

include/mockturtle/generators/legacy.hpp

View Options

include/mockturtle/generators/majority.hpp

View Options

include/mockturtle/generators/majority_n.hpp

View Options

include/mockturtle/generators/modular_arithmetic.hpp

View Options

include/mockturtle/generators/random_network.hpp

View Options

include/mockturtle/generators/self_dualize.hpp

View Options

include/mockturtle/generators/sorting.hpp

View Options

include/mockturtle/interface.hpp

View Options

include/mockturtle/io/aiger_reader.hpp

View Options

include/mockturtle/io/bench_reader.hpp

View Options

include/mockturtle/io/blif_reader.hpp

View Options

include/mockturtle/io/bristol_reader.hpp

View Options

include/mockturtle/io/dimacs_reader.hpp

View Options

include/mockturtle/io/genlib_reader.hpp

View Options

include/mockturtle/io/pla_reader.hpp

View Options

include/mockturtle/io/serialize.hpp

View Options

include/mockturtle/io/super_reader.hpp

View Options

include/mockturtle/io/verilog_reader.hpp

View Options

include/mockturtle/io/write_aiger.hpp

View Options

include/mockturtle/io/write_bench.hpp

View Options

include/mockturtle/io/write_blif.hpp

View Options

include/mockturtle/io/write_dimacs.hpp

View Options

include/mockturtle/io/write_dot.hpp

View Options

include/mockturtle/io/write_genlib.hpp

View Options

include/mockturtle/io/write_patterns.hpp

View Options

include/mockturtle/io/write_verilog.hpp

View Options

include/mockturtle/mockturtle.hpp

View Options

include/mockturtle/networks/abstract_xag.hpp

View Options

include/mockturtle/networks/aig.hpp

View Options

include/mockturtle/networks/aqfp.hpp

View Options

include/mockturtle/networks/block.hpp

View Options

include/mockturtle/networks/buffered.hpp

View Options

include/mockturtle/networks/cover.hpp

View Options

include/mockturtle/networks/crossed.hpp

View Options

include/mockturtle/networks/detail/foreach.hpp

View Options

include/mockturtle/networks/events.hpp

View Options

include/mockturtle/networks/generic.hpp

View Options

include/mockturtle/networks/gia.hpp

View Options

include/mockturtle/networks/klut.hpp

View Options

include/mockturtle/networks/mig.hpp

View Options

include/mockturtle/networks/muxig.hpp

View Options

include/mockturtle/networks/sequential.hpp

View Options

include/mockturtle/networks/storage.hpp

View Options

include/mockturtle/networks/tig.hpp

View Options

include/mockturtle/networks/xag.hpp

View Options

include/mockturtle/networks/xmg.hpp

View Options

include/mockturtle/properties/aqfpcost.hpp

View Options

include/mockturtle/properties/litcost.hpp

View Options

include/mockturtle/properties/mccost.hpp

View Options

include/mockturtle/properties/migcost.hpp

View Options

include/mockturtle/properties/xmgcost.hpp

View Options

include/mockturtle/traits.hpp

View Options

include/mockturtle/utils/abc.hpp

View Options

include/mockturtle/utils/algorithm.hpp

View Options

include/mockturtle/utils/cost_functions.hpp

View Options

include/mockturtle/utils/cuts.hpp

View Options

include/mockturtle/utils/debugging_utils.hpp

View Options

include/mockturtle/utils/hash_functions.hpp

View Options

include/mockturtle/utils/include/percy.hpp

View Options

include/mockturtle/utils/include/supergate.hpp

View Options

include/mockturtle/utils/index_list.hpp

View Options

include/mockturtle/utils/json_utils.hpp

View Options

include/mockturtle/utils/mixed_radix.hpp

View Options

include/mockturtle/utils/name_utils.hpp

View Options

include/mockturtle/utils/network_cache.hpp

View Options

include/mockturtle/utils/network_utils.hpp

View Options

include/mockturtle/utils/node_map.hpp

View Options

include/mockturtle/utils/null_utils.hpp

View Options

include/mockturtle/utils/progress_bar.hpp

View Options

include/mockturtle/utils/recursive_cost_functions.hpp

View Options

include/mockturtle/utils/sop_utils.hpp

View Options

include/mockturtle/utils/standard_cell.hpp

View Options

include/mockturtle/utils/stopwatch.hpp

View Options

include/mockturtle/utils/string_utils.hpp

View Options

include/mockturtle/utils/struct_library.hpp

View Options

include/mockturtle/utils/super_utils.hpp

View Options

include/mockturtle/utils/tech_library.hpp

View Options

include/mockturtle/utils/truth_table_cache.hpp

View Options

include/mockturtle/utils/truth_table_utils.hpp

View Options

include/mockturtle/utils/window_utils.hpp

View Options

include/mockturtle/views/binding_view.hpp

View Options

include/mockturtle/views/cell_view.hpp

View Options

include/mockturtle/views/choice_view.hpp

View Options

include/mockturtle/views/cnf_view.hpp

View Options

include/mockturtle/views/color_view.hpp

View Options

include/mockturtle/views/cost_view.hpp

View Options

include/mockturtle/views/cut_view.hpp

View Options

include/mockturtle/views/depth_view.hpp

View Options

include/mockturtle/views/dont_care_view.hpp

View Options

include/mockturtle/views/dont_touch_view.hpp

View Options

include/mockturtle/views/fanout_limit_view.hpp

View Options

include/mockturtle/views/fanout_view.hpp

View Options

include/mockturtle/views/immutable_view.hpp

View Options

include/mockturtle/views/mapping_view.hpp

View Options

include/mockturtle/views/mffc_view.hpp

View Options

include/mockturtle/views/names_view.hpp

View Options

include/mockturtle/views/rank_view.hpp

View Options

include/mockturtle/views/topo_view.hpp

View Options

include/mockturtle/views/window_view.hpp

View Options

include/util/cover_to_bbdd.hpp

View Options

include/util/cover_to_bdd.hpp

View Options

include/util/util.hpp

View Options

lib/CMakeLists.txt

View Options

lib/abcesop/CMakeLists.txt

View Options

lib/abcesop/eabc/abc_global.h

View Options

lib/abcesop/eabc/exor.h

View Options

lib/abcesop/eabc/vecInt.h

View Options

lib/abcesop/eabc/vecPtr.h

View Options

lib/abcesop/eabc/vecWec.h

View Options

lib/abcesop/exor.cpp

View Options

lib/abcesop/exorBits.cpp

View Options

lib/abcesop/exorCubes.cpp

View Options

lib/abcesop/exorLink.cpp

View Options

lib/abcesop/exorList.cpp

View Options

lib/abcesop/exorUtil.cpp

View Options

lib/abcsat/AbcGlucose.cpp

View Options

lib/abcsat/CMakeLists.txt

View Options

lib/abcsat/Glucose.cpp

View Options

lib/abcsat/SimpSolver.cpp

View Options

lib/abcsat/abc/AbcGlucose.h

View Options

lib/abcsat/abc/Alg.h

View Options

lib/abcsat/abc/Alloc.h

View Options

lib/abcsat/abc/BoundedQueue.h

View Options

lib/abcsat/abc/Constants.h

View Options

lib/abcsat/abc/Dimacs.h

View Options

lib/abcsat/abc/Heap.h

View Options

lib/abcsat/abc/IntTypes.h

View Options

lib/abcsat/abc/Map.h

View Options

lib/abcsat/abc/Queue.h

View Options

lib/abcsat/abc/SimpSolver.h

View Options

lib/abcsat/abc/Solver.h

View Options

lib/abcsat/abc/SolverTypes.h

View Options

lib/abcsat/abc/Sort.h

View Options

lib/abcsat/abc/Vec.h

View Options

lib/abcsat/abc/XAlloc.h

View Options

lib/abcsat/abc/abc_global.h

View Options

lib/abcsat/abc/abc_namespaces.h

View Options

lib/abcsat/abc/pstdint.h

View Options

lib/abcsat/abc/satClause.h

View Options

lib/abcsat/abc/satSolver.h

View Options

lib/abcsat/abc/satStore.h

View Options

lib/abcsat/abc/satVec.h

View Options

lib/abcsat/abc/system.h

View Options

lib/abcsat/abc/utilDouble.h

View Options

lib/abcsat/abc/vecInt.h

View Options

lib/abcsat/abc/vecWec.h

View Options

lib/abcsat/satSolver.cpp

View Options

lib/abcsat/satStore.cpp

View Options

lib/bill/bill/bill.hpp

View Options

lib/bill/bill/dd/cudd_zdd.hpp

View Options

lib/bill/bill/dd/zdd.hpp

View Options

lib/bill/bill/sat/cardinality.hpp

View Options

lib/bill/bill/sat/incremental_totalizer_cardinality.hpp

View Options

lib/bill/bill/sat/interface/abc_bmcg.hpp

View Options

lib/bill/bill/sat/interface/abc_bsat2.hpp

View Options

lib/bill/bill/sat/interface/common.hpp

View Options

lib/bill/bill/sat/interface/ghack.hpp

View Options

lib/bill/bill/sat/interface/glucose.hpp

View Options

lib/bill/bill/sat/interface/maple.hpp

View Options

lib/bill/bill/sat/interface/types.hpp

View Options

lib/bill/bill/sat/interface/z3.hpp

View Options

lib/bill/bill/sat/solver.hpp

View Options

lib/bill/bill/sat/solver/abc.hpp

View Options

lib/bill/bill/sat/solver/abc/AbcGlucose.h

View Options

lib/bill/bill/sat/solver/abc/Alg.h

View Options

lib/bill/bill/sat/solver/abc/Alloc.h

View Options

lib/bill/bill/sat/solver/abc/BoundedQueue.h

View Options

lib/bill/bill/sat/solver/abc/Constants.h

View Options

lib/bill/bill/sat/solver/abc/Dimacs.h

View Options

lib/bill/bill/sat/solver/abc/Heap.h

View Options

lib/bill/bill/sat/solver/abc/IntTypes.h

View Options

lib/bill/bill/sat/solver/abc/Map.h

View Options

lib/bill/bill/sat/solver/abc/Queue.h

View Options

lib/bill/bill/sat/solver/abc/SimpSolver.h

View Options

lib/bill/bill/sat/solver/abc/Solver.h

View Options

lib/bill/bill/sat/solver/abc/SolverTypes.h

View Options

lib/bill/bill/sat/solver/abc/Sort.h

View Options

lib/bill/bill/sat/solver/abc/Vec.h

View Options

lib/bill/bill/sat/solver/abc/XAlloc.h

View Options

lib/bill/bill/sat/solver/abc/abc_global.h

View Options

lib/bill/bill/sat/solver/abc/abc_namespaces.h

View Options

lib/bill/bill/sat/solver/abc/pstdint.h

View Options

lib/bill/bill/sat/solver/abc/satClause.h

View Options

lib/bill/bill/sat/solver/abc/satSolver.h

View Options

lib/bill/bill/sat/solver/abc/satStore.h

View Options

lib/bill/bill/sat/solver/abc/satVec.h

View Options

lib/bill/bill/sat/solver/abc/system.h

View Options

lib/bill/bill/sat/solver/abc/utilDouble.h

View Options

lib/bill/bill/sat/solver/abc/vecInt.h

View Options

lib/bill/bill/sat/solver/abc/vecWec.h

View Options

lib/bill/bill/sat/solver/ghack.hpp

View Options

lib/bill/bill/sat/solver/glucose.hpp

View Options

lib/bill/bill/sat/solver/maple.hpp

View Options

lib/bill/bill/sat/tseytin.hpp

View Options

lib/bill/bill/sat/unsat_cores.hpp

View Options

lib/bill/bill/sat/xor_clauses.hpp

View Options

lib/bill/bill/utils/hash.hpp

View Options

lib/bill/bill/utils/platforms.hpp

View Options

lib/fmt/LICENSE.rst

View Options

lib/fmt/fmt/chrono.h

View Options

lib/fmt/fmt/color.h

View Options

lib/fmt/fmt/compile.h

View Options

lib/fmt/fmt/core.h

View Options

lib/fmt/fmt/format-inl.h

View Options

lib/fmt/fmt/format.cc

View Options

lib/fmt/fmt/format.h

View Options

lib/fmt/fmt/locale.h

View Options

lib/fmt/fmt/os.cc

View Options

lib/fmt/fmt/os.h

View Options

lib/fmt/fmt/ostream.h

View Options

lib/fmt/fmt/posix.h

View Options

lib/fmt/fmt/printf.h

View Options

lib/fmt/fmt/ranges.h

View Options

lib/json/nlohmann/json.hpp

View Options

lib/kitty/kitty/affine.hpp

View Options

lib/kitty/kitty/algorithm.hpp

View Options

lib/kitty/kitty/bit_operations.hpp

View Options

lib/kitty/kitty/cnf.hpp

View Options

lib/kitty/kitty/constructors.hpp

View Options

lib/kitty/kitty/cube.hpp

View Options

lib/kitty/kitty/decomposition.hpp

View Options

lib/kitty/kitty/detail/constants.hpp

View Options

lib/kitty/kitty/detail/linear_constants.hpp

View Options

lib/kitty/kitty/detail/mscfix.hpp

View Options

lib/kitty/kitty/detail/shift.hpp

View Options

lib/kitty/kitty/detail/utils.hpp

View Options

lib/kitty/kitty/dynamic_truth_table.hpp

View Options

lib/kitty/kitty/enumeration.hpp

View Options

lib/kitty/kitty/esop.hpp

View Options

lib/kitty/kitty/hash.hpp

View Options

lib/kitty/kitty/implicant.hpp

View Options

lib/kitty/kitty/isop.hpp

View Options

lib/kitty/kitty/karnaugh_map.hpp

View Options

lib/kitty/kitty/kitty.hpp

View Options

lib/kitty/kitty/npn.hpp

View Options

lib/kitty/kitty/operations.hpp

View Options

lib/kitty/kitty/operators.hpp

View Options

lib/kitty/kitty/partial_truth_table.hpp

View Options

lib/kitty/kitty/permutation.hpp

View Options

lib/kitty/kitty/print.hpp

View Options

lib/kitty/kitty/properties.hpp

View Options

lib/kitty/kitty/quaternary_truth_table.hpp

View Options

lib/kitty/kitty/spectral.hpp

View Options

lib/kitty/kitty/spp.hpp

View Options

lib/kitty/kitty/static_truth_table.hpp

View Options

lib/kitty/kitty/ternary_truth_table.hpp

View Options

lib/kitty/kitty/traits.hpp

View Options

lib/lorina/lorina/aiger.hpp

View Options

lib/lorina/lorina/bench.hpp

View Options

lib/lorina/lorina/blif.hpp

View Options

lib/lorina/lorina/bristol.hpp

View Options

lib/lorina/lorina/common.hpp

View Options

lib/lorina/lorina/detail/call_in_topological_order.hpp

View Options

lib/lorina/lorina/detail/tokenizer.hpp

View Options

lib/lorina/lorina/detail/utils.hpp

View Options

lib/lorina/lorina/diagnostics.hpp

View Options

lib/lorina/lorina/diagnostics.inc

View Options

lib/lorina/lorina/dimacs.hpp

View Options

lib/lorina/lorina/genlib.hpp

View Options

lib/lorina/lorina/lorina.hpp

View Options

lib/lorina/lorina/pla.hpp

View Options

lib/lorina/lorina/super.hpp

View Options

lib/lorina/lorina/verilog.hpp

View Options

lib/lorina/lorina/verilog_regex.hpp

View Options

lib/matplot/matplot/matplotlibcpp.h

View Options

lib/nauty/.gitignore

View Options

lib/nauty/CMakeLists.txt

View Options

lib/nauty/COPYRIGHT

View Options

lib/nauty/NRswitchg.c

View Options

lib/nauty/README

View Options

lib/nauty/README_24

View Options

lib/nauty/addedgeg.c

View Options

lib/nauty/amtog.c

View Options

lib/nauty/biplabg.c

View Options

lib/nauty/bliss2dre.c

View Options

lib/nauty/blisstog.c

View Options

lib/nauty/callgeng.c

View Options

lib/nauty/catg.c

View Options

lib/nauty/changes24-26.txt

View Options

lib/nauty/checks6.c

View Options

lib/nauty/complg.c

View Options

lib/nauty/config.guess

View Options

lib/nauty/config.sub

View Options

lib/nauty/config.txt

View Options

lib/nauty/configure

View Options

lib/nauty/configure.ac

View Options

lib/nauty/converseg.c

View Options

lib/nauty/copyg.c

View Options

lib/nauty/cubhamg.c

View Options

lib/nauty/deledgeg.c

View Options

lib/nauty/delptg.c

View Options

lib/nauty/directg.c

View Options

lib/nauty/dreadnaut.c

View Options

lib/nauty/dretodot.c

View Options

lib/nauty/dretog.c

View Options

lib/nauty/formats.txt

View Options

lib/nauty/genbg.c

View Options

lib/nauty/geng.c

View Options

lib/nauty/genquarticg.c

View Options

lib/nauty/genrang.c

View Options

lib/nauty/genspecialg.c

View Options

lib/nauty/gentourng.c

View Options

lib/nauty/gentreeg.c

View Options

lib/nauty/gtnauty.c

View Options

lib/nauty/gtools-h.in

View Options

lib/nauty/gtools.c

View Options

lib/nauty/gtools.h

View Options

lib/nauty/gutil1.c

View Options

lib/nauty/gutil2.c

View Options

lib/nauty/gutils.h

View Options

lib/nauty/hamheuristic.c

View Options

lib/nauty/install-sh

View Options

lib/nauty/labelg.c

View Options

lib/nauty/linegraphg.c

View Options

lib/nauty/listg.c

View Options

lib/nauty/makefile

View Options

lib/nauty/makefile.basic

View Options

lib/nauty/makefile.in

View Options

lib/nauty/multig.c

View Options

lib/nauty/naucompare.c

View Options

lib/nauty/naugraph.c

View Options

lib/nauty/naugroup.c

View Options

lib/nauty/naugroup.h

View Options

lib/nauty/naugstrings.c

View Options

lib/nauty/naugstrings.h

View Options

lib/nauty/naurng.c

View Options

lib/nauty/naurng.h

View Options

lib/nauty/nausparse.c

View Options

lib/nauty/nausparse.h

View Options

lib/nauty/nautaux.c

View Options

lib/nauty/nautaux.h

View Options

lib/nauty/nautest.c

View Options

lib/nauty/nautest1.dre

View Options

lib/nauty/nautest1a.ans

View Options

lib/nauty/nautest1a.dre

View Options

lib/nauty/nautest1b.ans

View Options

lib/nauty/nautest1b.dre

View Options

lib/nauty/nautest1c.ans

View Options

lib/nauty/nautest1c.dre

View Options

lib/nauty/nautest2.dre

View Options

lib/nauty/nautest2a.ans

View Options

lib/nauty/nautest2b.ans

View Options

lib/nauty/nautest2c.ans

View Options

lib/nauty/nautesta.ans

View Options

lib/nauty/nautestb.ans

View Options

lib/nauty/nautestc.ans

View Options

lib/nauty/nautestd.ans

View Options

lib/nauty/nauteste.ans

View Options

lib/nauty/nautestf.ans

View Options

lib/nauty/nautestg.ans

View Options

lib/nauty/nauthread1.c

View Options

lib/nauty/nauthread2.c

View Options

lib/nauty/nautil.c

View Options

lib/nauty/nautinv.c

View Options

lib/nauty/nautinv.h

View Options

lib/nauty/naututil-h.in

View Options

lib/nauty/naututil.c

View Options

lib/nauty/naututil.h

View Options

lib/nauty/nauty-h.in

View Options

lib/nauty/nauty.c

View Options

lib/nauty/nauty.h

View Options

lib/nauty/nautyex1.c

View Options

lib/nauty/nautyex10.c

View Options

lib/nauty/nautyex2.c

View Options

lib/nauty/nautyex3.c

View Options

lib/nauty/nautyex4.c

View Options

lib/nauty/nautyex5.c

View Options

lib/nauty/nautyex6.c

View Options

lib/nauty/nautyex7.c

View Options

lib/nauty/nautyex8.c

View Options

lib/nauty/nautyex9.c

View Options

lib/nauty/newedgeg.c

View Options

lib/nauty/nug26.pdf

View Options

lib/nauty/planarg.c

View Options

lib/nauty/planarity.c

View Options

lib/nauty/planarity.h

View Options

lib/nauty/poptest.c

View Options

lib/nauty/quarticirred28.h

View Options

lib/nauty/ranlabg.c

View Options

lib/nauty/rng.c

View Options

lib/nauty/rng.h

View Options

lib/nauty/runalltests

View Options

lib/nauty/schreier.c

View Options

lib/nauty/schreier.h

View Options

lib/nauty/schreier.txt

View Options

lib/nauty/shortg.c

View Options

lib/nauty/showg.c

View Options

lib/nauty/sorttemplates.c

View Options

lib/nauty/splay.c

View Options

lib/nauty/subdivideg.c

View Options

lib/nauty/sumlines.c

View Options

lib/nauty/testg.c

View Options

lib/nauty/traces.c

View Options

lib/nauty/traces.h

View Options

lib/nauty/twohamg.c

View Options

lib/nauty/vcolg.c

View Options

lib/nauty/watercluster2.c

View Options

lib/parallel_hashmap/parallel_hashmap/btree.h

View Options

lib/parallel_hashmap/parallel_hashmap/conanfile.py

View Options

lib/parallel_hashmap/parallel_hashmap/meminfo.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap_base.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap_bits.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap_config.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap_dump.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap_fwd_decl.h

View Options

lib/parallel_hashmap/parallel_hashmap/phmap_utils.h

View Options

lib/percy/percy/chain.hpp

View Options

lib/percy/percy/cnf.hpp

View Options

lib/percy/percy/concurrentqueue.h

View Options

lib/percy/percy/dag.hpp

View Options

lib/percy/percy/dag_generation.hpp

View Options

lib/percy/percy/encoders.hpp

View Options

lib/percy/percy/encoders/aig_encoder.hpp

View Options

lib/percy/percy/encoders/ditt_encoder.hpp

View Options

lib/percy/percy/encoders/ditt_maj_encoder.hpp

View Options

lib/percy/percy/encoders/encoder.hpp

View Options

lib/percy/percy/encoders/maj_encoder.hpp

View Options

lib/percy/percy/encoders/mig_encoder.hpp

View Options

lib/percy/percy/encoders/msv_encoder.hpp

View Options

lib/percy/percy/encoders/partial_dag_encoder.hpp

View Options

lib/percy/percy/encoders/ssv_dag_encoder.hpp

View Options

lib/percy/percy/encoders/ssv_encoder.hpp

View Options

lib/percy/percy/encoders/ssv_fence2_encoder.hpp

View Options

lib/percy/percy/encoders/ssv_fence_encoder.hpp

View Options

lib/percy/percy/fence.hpp

View Options

lib/percy/percy/generators/partial_dag3_generator.hpp

View Options

lib/percy/percy/generators/partial_dag_generator.hpp

View Options

lib/percy/percy/io.hpp

View Options

lib/percy/percy/majority_chain.hpp

View Options

lib/percy/percy/mig.hpp

View Options

lib/percy/percy/misc.hpp

View Options

lib/percy/percy/partial_dag.hpp

View Options

lib/percy/percy/percy.hpp

View Options

lib/percy/percy/printer.hpp

View Options

lib/percy/percy/sat_circuits.hpp

View Options

lib/percy/percy/solvers.hpp

View Options

lib/percy/percy/solvers/bmcg_sat.hpp

View Options

lib/percy/percy/solvers/bsat2.hpp

View Options

lib/percy/percy/solvers/cmsat.hpp

View Options

lib/percy/percy/solvers/glucose.hpp

View Options

lib/percy/percy/solvers/satoko.hpp

View Options

lib/percy/percy/solvers/solver_wrapper.hpp

View Options

lib/percy/percy/spec.hpp

View Options

lib/percy/percy/tt_utils.hpp

View Options

lib/rang/rang/rang.hpp

View Options

src/CMakeLists.txt

View Options

src/convert_bbdd.cpp

View Options

src/convert_bdd.cpp

View Options

src/convert_muxig.cpp

View Options

src/convert_muxig_opt.cpp

View Options

yosys/bbdd_synth_muxxor.ys

View Options

yosys/bdd_synth.ys

View Options

yosys/device_count.yaml

View Options

yosys/map_ports.py

View Options

yosys/mockturtle_map.v

View Options

yosys/muxig_synth.ys

View Options

yosys/muxxor_4T.v

View Options

yosys/muxxor_inv_map.v

View Options

yosys/muxxor_inv_sat.v

View Options

yosys/print_summary.py

View Options

yosys/techmap_bbdd.v

View Options

yosys/techmap_nems.v

View Options

yosys/xor_mux.v