Debian Science Project
Summary
Logic
Debian Science Logic packages

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

Translate description

Description

For a better overview of the project's availability as a Debian package, each head row has a color code according to this scheme:

If you discover a project which looks like a good candidate for Debian Science to you, or if you have prepared an unofficial Debian package, please do not hesitate to send a description of that project to the Debian Science mailing list

Links to other tasks
Index of all tasks

Debian Science Logic packages

Official Debian packages with high relevance

agda
??? missing short description for package agda :-(
Versions of package agda
ReleaseVersionArchitectures
sid2.8.0-2all
bullseye2.6.1-1all
bookworm2.6.2.2-1.1all
trixie2.6.4.3-1all
forky2.8.0-2all
Debtags of package agda:
rolemetapackage
Popcon: 0 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
alt-ergo
??? missing short description for package alt-ergo :-(
Versions of package alt-ergo
ReleaseVersionArchitectures
bullseye2.0.0-7amd64,arm64,i386
Debtags of package alt-ergo:
roleprogram
uitoolkitgtk
Popcon: 1 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
boolector
??? missing short description for package boolector :-(
Versions of package boolector
ReleaseVersionArchitectures
sid3.2.4-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky3.2.4-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie1.5.118.6b56be4.121013-1.3amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm1.5.118.6b56be4.121013-1.3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.5.118.6b56be4.121013-1amd64,arm64,armhf,i386
upstream2018
Debtags of package boolector:
roleprogram
Popcon: 5 users (2 upd.)*
Newer upstream!
 License: DFSG free
Git
clasp
??? missing short description for package clasp :-(
Versions of package clasp
ReleaseVersionArchitectures
sid3.3.5-5amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie3.3.5-4.2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm3.3.5-4.2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.3.5-4amd64,arm64,armhf,i386
forky3.3.5-5amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Debtags of package clasp:
roleprogram
Popcon: 18 users (4 upd.)*
Versions and Archs
 License: DFSG free
Git
Please cite: Martin Gebser, Benjamin Kaufmann and Torsten Schaub: Conflict-Driven Answer Set Solving: From Theory to Practice. Artificial Intelligence (187–188):52–89 (2012)
coinor-cbc
??? missing short description for package coinor-cbc :-(
Versions of package coinor-cbc
ReleaseVersionArchitectures
sid2.10.13+ds-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie2.10.12+ds-1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm2.10.8+ds1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye2.10.5+ds1-3amd64,arm64,armhf,i386
forky2.10.13+ds-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Popcon: 81 users (156 upd.)*
Versions and Archs
 License: DFSG free
Git
coinor-symphony
??? missing short description for package coinor-symphony :-(
Versions of package coinor-symphony
ReleaseVersionArchitectures
sid5.7.2+dfsg-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky5.7.2+dfsg-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie5.7.2+dfsg-1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm5.6.17+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.6.16+repack1-3amd64,arm64,armhf,i386
upstream5.7.3
Popcon: 24 users (135 upd.)*
Newer upstream!
 License: DFSG free
Git
coq
??? missing short description for package coq :-(
Versions of package coq
ReleaseVersionArchitectures
bookworm8.16.1+dfsg-1amd64,arm64,armhf,i386,ppc64el,s390x
experimental9.1.0+dfsg-3amd64,arm64,armhf,i386,ppc64el,riscv64,s390x
sid8.20.1+dfsg-1amd64,arm64,ppc64el,riscv64,s390x
forky8.20.1+dfsg-1amd64,arm64,ppc64el,riscv64,s390x
trixie8.20.1+dfsg-1amd64,arm64,ppc64el,riscv64,s390x
bullseye8.12.0-3amd64,arm64,armhf,i386
upstream9.2.0
Debtags of package coq:
develcompiler
fieldmathematics
interfacecommandline, text-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 28 users (9 upd.)*
Newer upstream!
 License: DFSG free
Git
cvc4
??? missing short description for package cvc4 :-(
Versions of package cvc4
ReleaseVersionArchitectures
sid1.8-5amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye1.8-2amd64,arm64,armhf,i386
bookworm1.8-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.8-3amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
forky1.8-5amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Popcon: 7 users (12 upd.)*
Versions and Archs
 License: DFSG free
Git
depqbf
??? missing short description for package depqbf :-(
Versions of package depqbf
ReleaseVersionArchitectures
bookworm5.01-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie5.01-3amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
forky5.01-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
sid5.01-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye5.01-3amd64,arm64,armhf,i386
Popcon: 5 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
drat-trim
??? missing short description for package drat-trim :-(
Versions of package drat-trim
ReleaseVersionArchitectures
forky0.0~git20240428.effa1dc-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie0.0~git20240428.effa1dc-2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
sid0.0~git20240428.effa1dc-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
upstream0.0~git20241125.2e3b2dc
Popcon: 6 users (1 upd.)*
Newer upstream!
 License: DFSG free
Git
gringo
??? missing short description for package gringo :-(
Versions of package gringo
ReleaseVersionArchitectures
trixie5.6.2-2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm5.4.1-3.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye5.4.1-3amd64,arm64,armhf,i386
sid5.8.0-2amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky5.8.0-2amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Debtags of package gringo:
roleprogram
Popcon: 24 users (5 upd.)*
Versions and Archs
 License: DFSG free
Git
Please cite: Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub: Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming :1–56 (2018)
hol-light
??? missing short description for package hol-light :-(
Versions of package hol-light
ReleaseVersionArchitectures
bookworm20230128-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie3.0.0-2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
forky3.1.0-2amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
sid3.1.0-2amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye20190729-4amd64,arm64,armhf,i386
Popcon: 6 users (5 upd.)*
Versions and Archs
 License: DFSG free
Git
hol88
??? missing short description for package hol88 :-(
Maintainer: Camm Maguire
Versions of package hol88
ReleaseVersionArchitectures
bullseye2.02.19940316-35.1amd64,arm64,armhf,i386
bookworm2.02.19940316dfsg-5amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie2.02.19940316dfsg-6amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
forky2.02.19940316dfsg-8amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
sid2.02.19940316dfsg-8amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Debtags of package hol88:
uitoolkitncurses
Popcon: 5 users (0 upd.)*
Versions and Archs
 License: DFSG free
kissat
??? missing short description for package kissat :-(
Versions of package kissat
ReleaseVersionArchitectures
sid4.0.4-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie4.0.2-1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
forky4.0.4-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Popcon: 6 users (2 upd.)*
Versions and Archs
 License: DFSG free
Git
lbt
??? missing short description for package lbt :-(
Versions of package lbt
ReleaseVersionArchitectures
forky1.2.2-7amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye1.2.2-7amd64,arm64,armhf,i386
sid1.2.2-7amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bookworm1.2.2-7amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.2.2-7amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
Debtags of package lbt:
fieldmathematics
interfacecommandline
roleprogram
scopeutility
useconverting
Popcon: 9 users (2 upd.)*
Versions and Archs
 License: DFSG free
Git
maria
??? missing short description for package maria :-(
Versions of package maria
ReleaseVersionArchitectures
bookworm1.3.5-4.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.3.5-4.1amd64,arm64,armhf,i386
forky1.3.5-6amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie1.3.5-6amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
sid1.3.5-6amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Debtags of package maria:
develtesting-qa
fieldmathematics
interfacetext-mode
roleprogram
scopeutility
uitoolkitncurses
Popcon: 9 users (2 upd.)*
Versions and Archs
 License: DFSG free
Git
maude
??? missing short description for package maude :-(
Versions of package maude
ReleaseVersionArchitectures
bullseye3.1-2amd64,arm64,armhf,i386
bookworm3.2-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie3.4-1amd64,arm64,ppc64el,riscv64,s390x
forky3.5.1-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
sid3.5.1-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Debtags of package maude:
uitoolkitncurses
Popcon: 9 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
Please cite: M. Matsumoto and T. Nishimura: Mersenne Twister: A 623-Dimensionally Equidistributed Uniform Pseudo-Random Number Generator. ACM Transactions on Modeling and Computer Simulation 8(1):3-30 (1998)
minisat+
??? missing short description for package minisat+ :-(
Versions of package minisat+
ReleaseVersionArchitectures
sid1.0-5amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky1.0-5amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie1.0-5amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bullseye1.0-4amd64,arm64,armhf,i386
bookworm1.0-4amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
Debtags of package minisat+:
fieldmathematics
roleprogram
Popcon: 6 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
mona
??? missing short description for package mona :-(
Versions of package mona
ReleaseVersionArchitectures
forky1.4-18-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bookworm1.4-18-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
sid1.4-18-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye1.4-17-2amd64,arm64,armhf,i386
trixie1.4-18-1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
Debtags of package mona:
fieldmathematics
roleprogram
scopeutility
Popcon: 9 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
picosat
??? missing short description for package picosat :-(
Versions of package picosat
ReleaseVersionArchitectures
sid965-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky965-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye965-2amd64,arm64,armhf,i386
bookworm965-2amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie965-2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
Debtags of package picosat:
fieldmathematics
roleprogram
Popcon: 21 users (3 upd.)*
Versions and Archs
 License: DFSG free
Git
Screenshots of package picosat
proofgeneral
??? missing short description for package proofgeneral :-(
Versions of package proofgeneral
ReleaseVersionArchitectures
bookworm4.4.1~pre170114-1.2all
bullseye4.4.1~pre170114-1.2all
sid4.5-3all
forky4.5-3all
trixie4.5-3all
Debtags of package proofgeneral:
fieldmathematics
interfacetext-mode, x11
roleplugin
suiteemacs
useediting
Popcon: 9 users (1 upd.)*
Versions and Archs
 License: DFSG free
Git
Other screenshots of package proofgeneral
VersionURL
4.3~pre130510-1.1https://screenshots.debian.net/screenshot/proofgeneral/12105
 Screenshots of package proofgeneral
sat4j
??? missing short description for package sat4j :-(
Versions of package sat4j
ReleaseVersionArchitectures
bookworm2.3.5-0.3all
sid2.3.6-1all
bullseye2.3.5-0.3all
forky2.3.6-1all
trixie2.3.6-1all
Debtags of package sat4j:
fieldmathematics
roleprogram, shared-lib
Popcon: 22 users (4 upd.)*
Versions and Archs
 License: DFSG free
Git
spass
??? missing short description for package spass :-(
Versions of package spass
ReleaseVersionArchitectures
trixie3.9-1.1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm3.9-1.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye3.9-1.1amd64,arm64,armhf,i386
sid3.9-1.1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky3.9-1.1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Debtags of package spass:
fieldmathematics
Popcon: 6 users (0 upd.)*
Versions and Archs
 License: DFSG free
Git
toulbar2
??? missing short description for package toulbar2 :-(
Versions of package toulbar2
ReleaseVersionArchitectures
trixie1.2.1+dfsg-0.1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm1.1.1+dfsg-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.1.1+dfsg-1amd64,arm64,armhf,i386
sid1.2.1+dfsg-0.1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
Popcon: 22 users (105 upd.)*
Versions and Archs
 License: DFSG free
Git
why3
??? missing short description for package why3 :-(
Versions of package why3
ReleaseVersionArchitectures
forky1.8.2-3amd64,arm64,armhf,i386,ppc64el,riscv64,s390x
sid1.8.2-3amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye1.3.3-1amd64,arm64,armhf,i386
bookworm1.5.1-1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie1.8.0-2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
Popcon: 8 users (2 upd.)*
Versions and Archs
 License: DFSG free
Git
z3
??? missing short description for package z3 :-(
Versions of package z3
ReleaseVersionArchitectures
forky4.13.3-1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
bullseye4.8.10-1amd64,arm64,armhf,i386
bookworm4.8.12-3.1amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
trixie4.13.3-1amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
sid4.13.3-1.1amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
upstream4.16.0
Popcon: 18 users (51 upd.)*
Newer upstream!
 License: DFSG free
Git

Official Debian packages with lower relevance

coinor-libcoinmp-dev
??? missing short description for package coinor-libcoinmp-dev :-(
Versions of package coinor-libcoinmp-dev
ReleaseVersionArchitectures
sid1.8.4+dfsg-2amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
forky1.8.4+dfsg-2amd64,arm64,armhf,i386,loong64,ppc64el,riscv64,s390x
trixie1.8.4+dfsg-2amd64,arm64,armel,armhf,i386,ppc64el,riscv64,s390x
bookworm1.8.3-3amd64,arm64,armel,armhf,i386,mips64el,mipsel,ppc64el,s390x
bullseye1.8.3-3amd64,arm64,armhf,i386
Popcon: 3 users (11 upd.)*
Versions and Archs
 License: DFSG free
Git
*Popularitycontest results: number of people who use this package regularly (number of people who upgraded this package recently) out of 284424