Skip to content

change compute_cnf to also admit Prop formula #108

change compute_cnf to also admit Prop formula

change compute_cnf to also admit Prop formula #108