picosat
SAT solver with proof and core support
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/picosat
general
source
picosat
(
source
,
science
)
version
965-2
maint
Debian Science Team
(
a
)
,
Michael Tautschnig
(u)
,
Nilesh Patra
(u)
std-ver
4.4.0
VCS
Git
(
browse
)
versions
o-o-stable
960-1
oldstable
960-1
stable
965-2
testing
965-2
unstable
965-2
Ubuntu
965-2
binaries
picosat
(
0 bugs
:
0
,
0
,
0
,
0
)
SAT solver with proof and core support
todo
Lintian
reports
3 warnings
about this package. You should make the package
lintian clean
getting rid of them.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.0
instead of
4.4.0
).
This package has "Build-Depends: dh-exec" while
dh-exec
needs a new maintainer, see
O #851746
.
problems
There were override disparities found in suite unstable:
picosat: Override says science - optional, .deb says science - extra
news
RSS
[2021-03-03]
picosat 965-2 MIGRATED to testing
(Britney)
[2021-02-21]
Accepted 965-2 in unstable (medium)
(Debian FTP Masters)
[2019-08-25]
picosat 965-1 MIGRATED to testing
(Britney)
[2019-08-20]
Accepted 965-1 in unstable (medium)
(Andreas Tille)
[2014-11-21]
picosat 960-1 MIGRATED to testing
(Britney)
[2014-11-08]
Accepted 960-1 in unstable (low)
(Michael Tautschnig)
[2014-07-09]
picosat 959-1 MIGRATED to testing
(Britney)
[2014-06-28]
Accepted 959-1 in unstable (low)
(Michael Tautschnig)
[2013-05-05]
picosat 954-1 MIGRATED to testing
(Britney)
[2012-12-20]
Accepted 954-1 in unstable (low)
(Michael Tautschnig)
[2012-12-02]
Accepted 953-2 in unstable (low)
(Michael Tautschnig)
[2012-12-02]
Accepted 953-1 in unstable (low)
(Michael Tautschnig)
[2012-03-14]
picosat 936-4 MIGRATED to testing
(Britney)
[2012-03-03]
Accepted 936-4 in unstable (low)
(Michael Tautschnig)
[2011-08-20]
picosat 936-3 MIGRATED to testing
(Britney)
[2011-08-09]
Accepted 936-3 in unstable (low)
(Michael Tautschnig)
[2011-04-09]
picosat 936-2 MIGRATED to testing
(Britney)
[2011-03-29]
Accepted 936-2 in unstable (low)
(Michael Tautschnig)
[2011-02-06]
picosat 936-1 MIGRATED to testing
(Britney)
[2010-08-16]
Accepted 936-1 in unstable (low)
(Michael Tautschnig)
[2010-04-23]
picosat 913-4 MIGRATED to testing
(Britney)
[2010-04-04]
Accepted 913-4 in unstable (low)
(Michael Tautschnig)
[2010-04-04]
Accepted 913-3 in unstable (low)
(Michael Tautschnig)
[2010-03-06]
picosat 913-2 MIGRATED to testing
(Britney)
[2010-02-05]
Accepted 913-2 in unstable (low)
(Michael Tautschnig)
[2009-11-22]
picosat 913-1 MIGRATED to testing
(Britney)
[2009-11-02]
Accepted 913-1 in unstable (low)
(Michael Tautschnig)
[2009-02-16]
picosat 846-1 MIGRATED to testing
(Britney)
[2008-09-30]
Accepted 846-1 in unstable (low)
(Michael Tautschnig)
[2008-06-26]
picosat 632-1 MIGRATED to testing
(Britney)
bugs
all
0
RC
0
I&N
0
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
clang
lintian
(
0
,
3
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
960-1
965-2
965-2
965-2