Skip to content

@witan-org witan-org

Change the repository type filter

All

    Repositories list

    1 repository

    • witan

      Public
      An ocaml implementation of conflict-driven reasoning
      sat-solversmt-solvermcsat
      OCaml
      •
      GNU Lesser General Public License v2.1
      •0•15•0•0•Updated Jul 13, 2018Jul 13, 2018