Index of /pool/universe/c/cryptominisat

Name                    Last modified      Size  Description
Parent Directory                             -   
cryptominisat_5.8.0+..> 2020-07-13 20:24  441K  
cryptominisat_5.8.0+..> 2022-02-23 01:24  2.4K  
cryptominisat_5.8.0+..> 2022-02-23 01:24  6.1K  
libcryptominisat5-de..> 2022-02-23 01:45   13K  
cryptominisat_5.8.0+..> 2022-02-23 01:45   91K  
libcryptominisat5-5...> 2022-02-23 01:45  378K  
python3-cryptominisa..> 2022-02-23 01:45   19K  
cryptominisat_5.11.4..> 2022-11-06 05:16  518K  
cryptominisat_5.11.4..> 2022-12-25 22:25  5.3K  
cryptominisat_5.11.4..> 2022-12-25 22:25  2.4K  
cryptominisat_5.11.4..> 2022-12-25 22:26   78K  
libcryptominisat5-5...> 2022-12-25 22:26  432K  
python3-cryptominisa..> 2022-12-25 22:26  518K  
libcryptominisat5-de..> 2022-12-25 22:26   17K  
cryptominisat_5.11.4..> 2023-07-15 08:38  2.4K  
cryptominisat_5.11.4..> 2023-07-15 08:38  6.6K  
cryptominisat_5.11.4..> 2023-07-15 08:39   79K  
libcryptominisat5-de..> 2023-07-15 08:39   17K  
libcryptominisat5-5...> 2023-07-15 08:39  435K  
python3-cryptominisa..> 2023-07-15 08:39  522K  
cryptominisat_5.11.1..> 2023-12-14 19:37  464K  
cryptominisat_5.11.1..> 2024-03-31 21:36  5.6K  
cryptominisat_5.11.1..> 2024-03-31 21:36  2.6K  
python3-cryptominisa..> 2024-04-01 06:47  514K  
libcryptominisat5-de..> 2024-04-01 06:47   17K  
libcryptominisat5-5...> 2024-04-01 06:47  437K  
cryptominisat_5.11.1..> 2024-04-01 06:47   81K  
cryptominisat_5.11.2..> 2024-05-03 14:29  2.4K  
cryptominisat_5.11.2..> 2024-05-03 14:29  470K  
cryptominisat_5.11.2..> 2024-05-03 14:29  6.5K  
python3-cryptominisa..> 2024-05-03 15:05  512K  
libcryptominisat5-de..> 2024-05-03 15:05   17K  
libcryptominisat5-5...> 2024-05-03 15:05  435K  
cryptominisat_5.11.2..> 2024-05-03 15:05   91K