autosat 0.1.0

Automatic conversion of functions to CNF for SAT solving
Documentation
1
2
3
4
5
6
tab_spaces = 2
struct_field_align_threshold = 40
enum_discrim_align_threshold = 40
group_imports = "StdExternalCrate"
use_field_init_shorthand = true
chain_width = 90