HomeFreeBSD

New port: math/clingo: Grounder and solver for logic programs

Description

New port: math/clingo: Grounder and solver for logic programs

Details

Committed
yuriSat, Nov 16, 3:56 AM
Parents
rP517712: - Update to 1.1.0
Branches
Unknown
Tags
Unknown