freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
bef45ef652bcf21d618d41c644a01cdec3fb062a
ports/math/lingeling
T
History
Yuri Victorovich ade9f5ec10 math/lingeling: New port: Lingeling SAT Solver
2023-01-04 02:51:57 -08:00
..
files
…
distinfo
…
Makefile
…
pkg-descr
…