hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
64,640 Commits 5 Branches 773 Tags 288 MiB
Commit Graph

1 Commits

Author SHA1 Message Date
Nick Smallbone a2e13bb161 academic/z3: Added (theorem solver). 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2019-03-23 07:25:53 +07:00