marcthurley / sharpSAT

The #SAT solver sharpSAT

MIT License

55 stars 24 forks source link

Fix Timeout Issue #11

Open ZaydH opened 6 years ago

ZaydH commented 6 years ago

10 Reported by @drautb. FIxes that timeout did not work.