sat-d ~fastcdcl
A small SAT solver implementation
To use this package, run the following command in your project's root directory:
Manual usage
Put the following dependency into your project's dependences section:
sat-d
これは、情報科学特別演習での SAT ソルバー制作のためのリポジトリです。
テストケース
テストケースは、これらのウェブサイトを参照して取得しています。
- https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
- https://massimolauria.net/cnfgen/
- ~fastcdcl released 4 years ago
- private-yusuke/sat-d
- MIT
- Copyright © 2020, public_yusuke
- Authors:
- Dependencies:
- pegged
- Versions:
-
1.0.2 2021-Nov-03 1.0.1 2021-Aug-24 1.0.0 2021-Aug-03 ~master 2021-Nov-03 ~remove-history-2 2020-Oct-07 - Download Stats:
-
-
0 downloads today
-
0 downloads this week
-
0 downloads this month
-
84 downloads total
-
- Score:
- 0.0
- Short URL:
- sat-d.dub.pm