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 /net/boinc-client/files/patch-api__boinc_api.h | |
| parent | - Fix build with upcoming FOX 1.7.42 (diff) | |
Add minisat port - a lightweight SAT solver.
Diffstat (limited to 'net/boinc-client/files/patch-api__boinc_api.h')
0 files changed, 0 insertions, 0 deletions