1 2 3 4 5 6 7 8
[dependencies] [package] description = "Automatic conversion of functions to CNF for SAT solving" edition = "2021" license = "CC0-1.0" name = "autosat" version = "0.1.0"