Slackware UK: SlackBuilds.org Sources Archive

Patronage & Donations
If you use the Slackware UK services on a regular basis, and would like to contribute to running costs, make a continuing patronage (and receive special benefits), or make a one off PayPal payment, please use one of the following buttons:

For regular monthly donations

For one time donations

All donations will be gratefully received - thank you!

Index » sbosrcarch » by-name » academic » cryptominisat

Toggle theme:

 Name                                                     Last modified      Size  Description
 Parent Directory                                                              -    
 cadiback-3b6a84062b1304433eb8960a4bff6b9a80de9c54.tar.gz 2026-08-29 04:03   23K   
 cadical-394c3f72858c2fe8cd35321f74f11f0f61c91123.tar.gz  2026-08-29 04:03  713K   
 cryptominisat-5.11.21.tar.gz                             2024-03-23 04:00  953K   
 cryptominisat-release-v5.14.7.tar.gz                     2026-08-29 04:03  1.0M

Server (facade0) bandwidth utilisation
0 Bandwidth graph measuring 0.00 Gbit/s

10 Gbit/s