Usage: 3sat.py [OPTIONS]
Options:
-p, --path TEXT Input file. [./data/example.data]
-v, --variables INTEGER Number of variables [20]
-t, --temperature INTEGER Init temperature for simulated annealing. [1000]
-c, --cooling FLOAT Cooling for simulated annealing. [0.85]
-i, --inner-loop INTEGER Number of iterations in inner loop for simulated
annealing. [200]
-r, --ratio FLOAT Ratio between satisfaction and weight from closed
interval from 0 to 1 [0.85]
--help Show this message and exit.
dstlmrk/3sat
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|