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

Description

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

Details

Provenance

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

head/

math/

rP517713

head/math/Makefile

head/math/clingo/

head/math/clingo/Makefile

head/math/clingo/distinfo

head/math/clingo/pkg-descr

head/math/clingo/pkg-plist

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

Description

Details

Changes (6)

rP517713

head/math/Makefile

head/math/clingo/

head/math/clingo/Makefile

head/math/clingo/distinfo

head/math/clingo/pkg-descr

head/math/clingo/pkg-plist

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