hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
66,674 Commits 6 Branches 758 Tags 263 MiB
Commit Graph

2 Commits

Author SHA1 Message Date
Nick Smallbone c4942e819d academic/cvc4: Updated for version 1.7. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2019-04-19 22:12:38 +07:00
Nick Smallbone 3015af4e87 academic/cvc4: Added (Theorem Solver). 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2019-03-23 08:17:49 +07:00