@hackage / mios

A Minisat-based CDCL SAT solver in Haskell

Latest1.6.2

About

Metadata

  • Last updated , by shnarazk
  • License GPL-3.0-only

  • Maintained by: narazaki@nagasaki-u.ac.jp

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    llvm (off by default)

    Compile with llvm

    utils (off by default)

    Build misc utilities for developer

Readme

A modern and very fast SAT solver written in Haskell, using CDCL, watch literals, VSIDS, blocking-literals, phase saving, LBD, Glucose-like restart and so on. Mios is an abbreviation of 'Minisat-based Implementation and Optimization Study on SAT solver'.