1 search result for "tag:"mcsat""

  1. mc2
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    Last published 18 Nov 2020