@entailer/solver
v1.3.0
Published
Opt-in SMT escalation for Entailer. A pure SMT-LIB emitter plus a lazily-probed Z3 backend that degrades to UNKNOWN when z3-solver is absent — an amplifier, never a gate.
Downloads
770
Readme
ERROR: No README data found!
