dunkirk.sh
optimizing a gate level bcm to the end of the earth and back
1"""BCD to 7-segment decoder optimization using SAT-based exact synthesis."""
2
3from .solver import BCDTo7SegmentSolver, SynthesisResult, CostBreakdown
4from .truth_tables import SEGMENT_TRUTH_TABLES, SEGMENT_NAMES, SEGMENT_MINTERMS
5from .quine_mccluskey import Implicant, quine_mccluskey, quine_mccluskey_multi_output
6from .export import to_verilog, to_c_code, to_equations, to_dot
7from .verify import verify_result
8
9__all__ = [
10 "BCDTo7SegmentSolver",
11 "SynthesisResult",
12 "SEGMENT_TRUTH_TABLES",
13 "SEGMENT_NAMES",
14 "SEGMENT_MINTERMS",
15 "Implicant",
16 "quine_mccluskey",
17 "quine_mccluskey_multi_output",
18 "to_verilog",
19 "to_c_code",
20 "to_equations",
21 "to_dot",
22 "verify_result",
23]
24__version__ = "0.1.0"