Logo Vanilla OS Packages
search
Ctrl K
storage

Package Details

Information about "minisat"

label

Name

minisat

description

Description

Fast and lightweight SAT solver

update

Version

1:2.2.1-8

database

Architecture

amd64
category

Section

science

home

Homepage

http://minisat.se/

person

Maintainer

Michael Tautschnig <[email protected]>

folder_zip

Filename

pool/main/m/minisat2/minisat_2.2.1-8_amd64.deb

Depends Packages
libc6
libgcc-s1
libstdc++6
zlib1g