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

1 Commits

Author SHA1 Message Date
William PC 8323de654b academic/yices2: Added (Satisfiability modulo theories solver). 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2022-11-05 12:46:15 +07:00