New port: math/cadical: Simple CDCL satisfiability solver
rP518989
Actions

Description

New port: math/cadical: Simple CDCL satisfiability solver

Details

Provenance

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

head/

math/

rP518989

head/math/Makefile

head/math/cadical/

head/math/cadical/Makefile

head/math/cadical/distinfo

head/math/cadical/files/

head/math/cadical/files/patch-configure

head/math/cadical/pkg-descr

New port: math/cadical: Simple CDCL satisfiability solverrP518989Actions

Description

Details

Changes (7)

rP518989

head/math/Makefile

head/math/cadical/

head/math/cadical/Makefile

head/math/cadical/distinfo

head/math/cadical/files/

head/math/cadical/files/patch-configure

head/math/cadical/pkg-descr

New port: math/cadical: Simple CDCL satisfiability solver
rP518989
Actions