diff options
| author | vsevolod <vsevolod@FreeBSD.org> | 2013-09-18 21:28:06 +0800 |
|---|---|---|
| committer | vsevolod <vsevolod@FreeBSD.org> | 2013-09-18 21:28:06 +0800 |
| commit | 77bab525b6f86eeb4d02b516632c7f82dbf85ddf (patch) | |
| tree | f896fc873ac4b47289838019aa8b15812b602b4f /security/cops | |
| parent | a213131ed8a9fe50316f80ee707a10272b579cc5 (diff) | |
| download | freebsd-ports-gnome-77bab525b6f86eeb4d02b516632c7f82dbf85ddf.tar.gz freebsd-ports-gnome-77bab525b6f86eeb4d02b516632c7f82dbf85ddf.tar.zst freebsd-ports-gnome-77bab525b6f86eeb4d02b516632c7f82dbf85ddf.zip | |
Add minisat port - a lightweight SAT solver.
Diffstat (limited to 'security/cops')
0 files changed, 0 insertions, 0 deletions