diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-02-03 20:59:14 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-02-03 20:59:14 +0000 |
| commit | eb924c41bc15bbefabaf34d0760963c79e883599 (patch) | |
| tree | cd1f7eaaa6fce7093da452dc2d53e8a093f5d406 /java/jmf | |
| parent | New port: cad/py-pyfda: GUI tool for designing and analysing discrete time fi... (diff) | |
New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses
See the full description here:
http://www.labri.fr/perso/lsimon/glucose/
Patches and build warnings were reported to the authors.
Submitted by: myself
Approved by: adamw (mentor)
Differential Revision: https://reviews.freebsd.org/D14156
Diffstat (limited to 'java/jmf')
0 files changed, 0 insertions, 0 deletions