satoxid 0.1.2

Boolean satisfiability problem encoding library written in rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

max_width = 85

reorder_modules = true
reorder_imports = true

unstable_features = true
merge_imports = true

trailing_comma = "vertical"

group_imports = "StdExternalCrate"