Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adjust USES to fix building on gcc-based archs (in particular, powerpc64). | linimon | 2018-06-03 | 1 | -1/+1 |
* | New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses | yuri | 2018-02-04 | 5 | -0/+66 |