CnfFormula derives Clone

jix / varisat

SAT solver written in Rust

https://jix.one/project/varisat

Apache License 2.0

253 stars 17 forks source link

Closed maugier closed 2 years ago

maugier commented 2 years ago

It seems like there is no reason why CnfFormula should not be cloneable?

Cheers,