fun fun 現代のDPLLスタイルのSATソルバー
今すぐダウンロード

fun fun ランキングとまとめ

fun fun タグ

解決する ソルバー 座ったソルバー SATを解く SATインスタンス 飽く

fun fun 説明

現代のDPLLスタイルのSATソルバー Funsatは、SATインスタンスを解くために現代の技術を使用するネイティブのHaskell Sat Solverです。 現在の機能には、2室のリテラル、紛争指向の学習、非時代のバックトラック、VSIDのような動的変数の順序付け、および再起動が含まれます。 FUNSATは、他のアプリケーションでの制約解決バックエンドとして、適度に高速のSATソルバーの便利な埋め込みを促進することを目的としています。 要件： ・GHC.

fun fun 関連ソフトウェア