cryptominisat binary package in Ubuntu Noble s390x
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2024-04-03 23:58:57 UTC | Published | Ubuntu Noble s390x | release | universe | math | Optional | 5.11.15+dfsg1-1.1build1 | ||
|
|||||||||
Deleted | Ubuntu Noble s390x | proposed | universe | math | Optional | 5.11.15+dfsg1-1.1build1 | |||
|
|||||||||
2024-04-06 12:10:12 UTC | Deleted | Ubuntu Noble s390x | updates | universe | math | Optional | 5.11.15+dfsg1-1build2 | ||
|
|||||||||
2024-04-04 00:01:45 UTC | Superseded | Ubuntu Noble s390x | release | universe | math | Optional | 5.11.15+dfsg1-1.1 | ||
|
|||||||||
2024-04-05 00:10:20 UTC | Deleted | Ubuntu Noble s390x | proposed | universe | math | Optional | 5.11.15+dfsg1-1.1 | ||
|
|||||||||
2024-03-01 17:08:59 UTC | Superseded | Ubuntu Noble s390x | release | universe | math | Optional | 5.11.15+dfsg1-1build2 | ||
|
|||||||||
2024-03-02 18:10:20 UTC | Deleted | Ubuntu Noble s390x | proposed | universe | math | Optional | 5.11.15+dfsg1-1build2 | ||
|
|||||||||
2024-02-23 21:06:01 UTC | Superseded | Ubuntu Noble s390x | release | universe | math | Optional | 5.11.15+dfsg1-1build1 | ||
|
|||||||||
2024-02-25 00:10:14 UTC | Deleted | Ubuntu Noble s390x | proposed | universe | math | Optional | 5.11.15+dfsg1-1build1 | ||
|
|||||||||
2023-12-20 01:17:00 UTC | Superseded | Ubuntu Noble s390x | release | universe | math | Optional | 5.11.15+dfsg1-1 | ||
|
|||||||||
2024-01-13 18:10:15 UTC | Deleted | Ubuntu Noble s390x | proposed | universe | math | Optional | 5.11.15+dfsg1-1 | ||
|
|||||||||
2023-12-14 20:52:20 UTC | Superseded | Ubuntu Noble s390x | release | universe | math | Optional | 5.11.4+dfsg1-3 | ||
|