Index of /pub/slackbuilds.org/15.0/academic/yices2

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] yices2.info                         2022-11-05 09:20  298   
[   ] README                              2022-11-05 09:20  653   
[   ] slack-desc                          2022-11-05 09:20  872   
[   ] yices2.SlackBuild                   2022-11-05 09:20  3.6K