diff options
| author | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2013-09-18 13:28:06 +0000 |
|---|---|---|
| committer | Vsevolod Stakhov <vsevolod@FreeBSD.org> | 2013-09-18 13:28:06 +0000 |
| commit | e03359c0aac5d86660e0818719b7abaea7c6415b (patch) | |
| tree | f896fc873ac4b47289838019aa8b15812b602b4f /astro/boinc-astropulse/files/patch-client__ap_fold.cpp | |
| parent | - Fix build with upcoming FOX 1.7.42 (diff) | |
Add minisat port - a lightweight SAT solver.
Diffstat (limited to 'astro/boinc-astropulse/files/patch-client__ap_fold.cpp')
0 files changed, 0 insertions, 0 deletions