Pakiet: science-logic (1.14.7)

[ Pakiet źródłowy: debian-science  ]

"Debian Science" - pakiety do logiki obliczeniowej

Ten metapakiet jest częścią ekskluzywnego zestawu z projektu "Debian Science" i instaluje pakiety związane z logiką obliczeniową. Zawiera narzędzia do przekształcania formuł, solwery dla formuł określonych w różnych logikach, interaktywne systemy sprawdzające itp.

Inne pakiety związane z science-logic

• dep: science-config (= 1.14.7)

  "Debian Science" - pakiet konfiguracyjny projektu

• dep: science-tasks (= 1.14.7)

  "Debian Science" - zadania dla narzędzia tasksel

• rec: agda

  dependently typed functional programming language

• rec: boolector

  SMT solver dla wektorów bitowych i tablic

• rec: clasp

  conflict-driven nogood learning answer set solver

• rec: coinor-cbc

  Program "Coin-or branch-and-cut" do rozwiązywania mieszanych liczb całkowitych

• rec: coinor-symphony

  COIN-OR solver for mixed-integer linear programs

• rec: coq

  Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

• rec: cvc4

  automated theorem prover for SMT problems

• rec: depqbf

  solver for quantified boolean formulae

• rec: drat-trim

  DART-trim satisfiability proof checker (binary utils)

• rec: gringo

  Narzędzia uziemiające dla (rozłącznych) programów logicznych

• rec: hol-light

  HOL Light theorem prover

• rec: hol88

  Logika wyższego rzędu, obraz systemu

• rec: kissat

  Keep it simple and clean bare metal SAT solver

• rec: lbt

  Konwertowanie formuł LTL na automaty Büchiego

• rec: maria

  Analizator osiągalności dla sieci systemów algebraicznych

• rec: maude

  high-performance logical framework

• rec: minisat+

  solver for pseudo-Boolean constraints

• rec: mona

  Narzędzie do udowadniania twierdzeń oparte na automatach

• rec: picosat

  SAT solver with proof and core support

• rec: proofgeneral

  Ogólny interfejs dla asystentów dowodzenia twierdzeń

• rec: sat4j

  Wydajna biblioteka solverów SAT w Javie

• 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

  Narzędzie do udowadniania twierdzeń firmy Microsoft Research

• sug: alt-ergo

  Pakiet niedostępny

• sug: coinor-libcoinmp-dev

  Simple C API for COIN-OR Solvers Clp and Cbc -- development

• sug: prover9

  Pakiet niedostępny

Pobieranie science-logic

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	10,1 KiB	31,0 KiB	[lista plików]