Verifaction Support

May 27, 2025 ยท View on GitHub

Verification support for Hardcaml.

  • Interface to SAT solvers for combinational logic problems.
  • Code generation for NuSMV for sequential model checking.