# DebianScience/Logic

The DebianScience/Logic subproject aims at packaging software that is about computational logics, that is tools to manipulate logic formulas (like transformations between different logics, transformation into normal form, etc.), to solve formulas (SAT solvers, SMT solvers, first-order logic decision procedures, etc.), interactive proof systems, and so on. Any kind of logic formalism (propositional, first-order, higher-order, modal, ...) is of interest.

For the moment we are collecting tools that would belong to this category, before moving on to further integration into the debian infrastructure. Also, there is some intersection with DebianScience/Mathematics that has to be clarified.

We have started to create the logic blend: http://blends.debian.org/science/tasks/logic

## Packages owned by DebianScience

## Packages already in Debian but not owned by DebianScience

## Requested to Package

isabelle RFP bug