Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “minisat2” in ubuntu cosmic
Cosmic (18.10)
minisat2
No summary available for minisat2 in ubuntu cosmic.
No description available for minisat2 in ubuntu cosmic.
Source package
minisat2 1:2.2.1-5build1 source package in Ubuntu
Published versions
minisat2 1:2.2.1-5build1 in amd64 (Release)
minisat2 1:2.2.1-5build1 in arm64 (Release)
minisat2 1:2.2.1-5build1 in armhf (Release)
minisat2 1:2.2.1-5build1 in i386 (Release)
minisat2 1:2.2.1-5build1 in ppc64el (Release)
minisat2 1:2.2.1-5build1 in s390x (Release)