[ Source: debian-science ]
Package: science-logic (1.14.2)
Links for science-logic
Debian Resources:
Download Source Package debian-science:
Maintainers:
External Resources:
- Homepage [wiki.debian.org]
Similar packages:
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.
Other Packages Related to science-logic
|
|
|
|
-
- dep: science-config (= 1.14.2)
- Debian Science Project config package
-
- dep: science-tasks (= 1.14.2)
- Debian Science tasks for tasksel
-
- rec: agda
- 종속 타입 함수형 프로그래밍 언어
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
-
- rec: boolector
- 비트 벡터 및 어레이를 위한 SMT 솔버
-
- rec: clasp
- 갈등 주도 nogood 학습 해결 세트 솔버
-
- rec: coinor-cbc
- Coin-or branch-and-cut mixed integer programming solver
-
- rec: coinor-symphony
- COIN-OR solver for mixed-integer linear programs
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
-
- rec: cvc4
- automated theorem prover for SMT problems
-
- rec: depqbf
- solver for quantified boolean formulae
-
- rec: gringo
- (선언적) 논리 프로그램용 그라운딩 도구
-
- rec: hol-light
- HOL Light theorem prover
-
- rec: hol88
- Higher Order Logic, system image
-
- rec: lbt
- LTL 공식을 Büchi 오토마타로 변환
-
- rec: maria
- reachability analyzer for Algebraic System Nets
-
- rec: maude
- 고성능 로지컬 프레임워크
-
- rec: minisat+
- 의사 부울 제약조건을 위한 솔버
-
- rec: mona
- 오토마타에 기반한 정리 프루버
-
- rec: picosat
- 증명과 코어 지원을 포함하는 SAT 솔버
-
- rec: proofgeneral
- generic frontend for proof assistants
-
- rec: sat4j
- 자바에서 SAT 솔버에 대한 효율적인 라이브러리
-
- rec: spass
- automated theorem prover for first-order logic with equality
-
- rec: toulbar2
- Exact combinatorial optimization for Graphical Models
-
- rec: why3
- Software verification platform
-
- rec: z3
- theorem prover from Microsoft Research
-
- sug: coala
- Package not available
-
- sug: coinor-libcoinmp-dev
- Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
- sug: cvc3
- Package not available
-
- sug: mace2
- Package not available
-
- sug: matita
- Package not available
-
- sug: prover9
- Package not available
-
- sug: why
- Package not available
Download science-logic
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 20.5 kB | 42.0 kB | [list of files] |