Diffusion FreeBSD ports repository rP504169

New port: math/boolector: Satisfiability Modulo Theories (SMT) solver
rP504169
Actions

Description

New port: math/boolector: Satisfiability Modulo Theories (SMT) solver

Details

Provenance

yuri	Authored on

Parents

rP504168: mail/dcc-dccd: fix startup scripts

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP504169: New port: math/boolector: Satisfiability Modulo Theories (SMT) solver.Jun 14 2019, 7:37 AM

Changes (9)

Path

Size

head/

math/

patch-src_CMakeLists.txt

pkg-descr

pkg-plist

rP504169

View Options

head/math/Makefile

View Options

head/math/boolector/

View Options

head/math/boolector/Makefile

View Options

head/math/boolector/distinfo

View Options

head/math/boolector/files/

View Options

head/math/boolector/files/patch-CMakeLists.txt

View Options

head/math/boolector/files/patch-src_CMakeLists.txt

View Options

head/math/boolector/pkg-descr

View Options

head/math/boolector/pkg-plist

New port: math/boolector: Satisfiability Modulo Theories (SMT) solverrP504169Actions

Description

Details

Event Timeline

Changes (9)

rP504169

head/math/Makefile

head/math/boolector/

head/math/boolector/Makefile

head/math/boolector/distinfo

head/math/boolector/files/

head/math/boolector/files/patch-CMakeLists.txt

head/math/boolector/files/patch-src_CMakeLists.txt

head/math/boolector/pkg-descr

head/math/boolector/pkg-plist

New port: math/boolector: Satisfiability Modulo Theories (SMT) solver
rP504169
Actions