math/lingeling
| Maintainer | yuri@FreeBSD.org |
|---|---|
| Comment | Lingeling SAT Solver |
| Categories | math |
| Links | FreshPorts upstream |
Fallout list
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 1.0.0 | main-arm64-default | configure | detail · log · report · build queue | |
| 1.0.0 | main-arm64-default | configure | detail · log · report · build queue | |
| 1.0.0 | main-arm64-default | configure | detail · log · report · build queue |