This website requires JavaScript.
Explore
Help
Sign In
cpet
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
2c376fc3a4
freebsd-ports
/
math
/
yices
History
Yuri Victorovich
3baa4718db
New port: math/yices: SMT solver
2018-07-21 08:11:46 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist