search

margnus1 / swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here
GNU General Public License v3.0
0 stars 1 forks source link

Try feeding saturated graph to SAT solver #7

Open margnus1 opened 6 years ago