New port: math/yices: SMT solver
rP475051
Actions

Description

New port: math/yices: SMT solver

Details

Provenance

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

head/

math/

rP475051

head/math/Makefile

head/math/yices/

head/math/yices/Makefile

head/math/yices/distinfo

head/math/yices/files/

head/math/yices/files/patch-Makefile.build

head/math/yices/pkg-descr

New port: math/yices: SMT solverrP475051Actions

Description

Details

Changes (8)

rP475051

head/math/Makefile

head/math/yices/

head/math/yices/Makefile

head/math/yices/distinfo

head/math/yices/files/

head/math/yices/files/patch-Makefile.build

head/math/yices/pkg-descr

head/math/yices/pkg-plist

New port: math/yices: SMT solver
rP475051
Actions