This repository has been archived by the owner. It is now read-only.
Sally - a SAT instance generatior library for haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
.gitignore
LICENSE
README.md
Setup.hs
sally.cabal

README.md

Sally - a SAT instance generatior library for haskell

Sally is a SAT instance generatior library for haskell. It Supports:

  • Constructing Boolean formulas from your own datatypes as logical variables.
  • Converting general Boolean formulas to CNF.
  • Output to file in DIMACS format.

This library is a part of Bf2SAT.

Sally - HaskellのためのSAT問題生成ライブラリ

サリーはSATの問題を生成するためのHaskellライブラリです。

  • 自分で定義したdatatypeを、論理変数として使えます。この機能は、複雑な問題をSATに変換する時にきわめて役立ちます。
  • 一般の論理式を、自動でCNFに変換できます。
  • SATソルバーが読み込む形式であるDIMACS形式のファイルを出力できる。

サリーって何なんですか

 SATといえばハナヤマタですが、チームハナヤマタを影で支えているのはサリーちゃん先生だからです。