| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| dot2tex |
Debian |
stable |
Graphviz to LaTeX converter |
2.8.2-1 |
| formed |
Debian |
testing |
formula editor for first-order logic formulae |
3.3f-1 |
| formed |
Debian |
stable |
formula editor for first-order logic formulae |
3.3f-1 |
| formed |
Debian |
unstable |
formula editor for first-order logic formulae |
3.3f-1 |
| ladr4-apps |
Debian |
stable |
the LADR deduction library, miscellaneous applications |
0.0.200806a-1 |
| libladr-dev |
Debian |
stable |
the LADR deduction library, development files |
0.0.200806a-1 |
| libladr4 |
Debian |
stable |
the LADR deduction library |
0.0.200806a-1 |
| mace2 |
Debian |
testing |
program that searches for finite models of first-order statements |
3.3f-1 |
| mace2 |
Debian |
unstable |
program that searches for finite models of first-order statements |
3.3f-1 |
| mace2 |
Debian |
stable |
program that searches for finite models of first-order statements |
3.3f-1 |
| otter |
Debian |
testing |
resolution-style theorem prover |
3.3f-1 |
| otter |
Debian |
unstable |
resolution-style theorem prover |
3.3f-1 |
| otter |
Debian |
stable |
resolution-style theorem prover |
3.3f-1 |
| prover9 |
Debian |
stable |
theorem prover and countermodel generator |
0.0.200806a-1 |
| prover9-doc |
Debian |
stable |
documentation for Prover9 and associated programs |
0.0.200806a-1 |
| prover9-mace4 |
Debian |
stable |
GUI for Prover9 and Mace4 |
0.5.dfsg-1 |
| python-pydot |
Debian |
testing |
Python interface to Graphviz's dot |
1.0.2-1 |
| python-pydot |
Debian |
stable |
Python interface to Graphviz's dot |
1.0.2-1 |
| python-pydot |
Debian |
unstable |
Python interface to Graphviz's dot |
1.0.2-1 |
| tcpser |
Debian |
testing |
emulate a Hayes compatible modem |
1.0rc12-1 |
| tcpser |
Debian |
stable |
emulate a Hayes compatible modem |
1.0rc12-1 |
| tcpser |
Debian |
unstable |
emulate a Hayes compatible modem |
1.0rc12-1 |
