math/yices/pkg-plist


1
2
3
4
5
6
7
8
9
10
11
12
13
14

bin/yices
bin/yices_sat
bin/yices_sat_new
bin/yices_smt
bin/yices_smt2
bin/yices_smt2_mt
bin/yices_smtcomp
include/yices.h
include/yices_exit_codes.h
include/yices_limits.h
include/yices_types.h
lib/libyices.so
lib/libyices.so.2
lib/libyices.so.2.6