all options
buster  ] [  bullseye  ]
[ Source: alt-ergo  ]

Package: alt-ergo (2.0.0-7 and others)

Links for alt-ergo

Screenshot

Debian Resources:

Download Source Package alt-ergo:

Maintainers:

External Resources:

Similar packages:

dimostratore automatico di teoremi dedicato alla verifica dei programmi

Alt-Ergo è un dimostratore automatico di teoremi pensato per l'uso nella verifica dei programmi. È basato su CC(X): un algoritmo di "Congruence Closure" parametrizzato da una teoria di equazioni X. Alter-Ergo ha dimostratori incorporati per logica proposizionale, aritmetica lineare, simboli di funzioni non interpretate, simboli di funzioni associative-commutative, array polimorfi, tipi di record polimorfi definiti dall'utente e tipi per enumerazione polimorfi. Ha una gestione ristretta per il ragionamento su tipi algebrici arbitrari definiti dall'utente, quantificatori del primo ordine e aritmetica non lineare.

Questo pacchetto contiene il dimostratore in forma di eseguibile a riga di comando.

Tags: Implemented in: OCaml, User Interface: Graphical User Interface, interface::x11, role::program, Interface Toolkit: GTK

Other Packages Related to alt-ergo

  • depends
  • recommends
  • suggests
  • enhances

Download alt-ergo

Download for all available architectures
Architecture Version Package Size Installed Size Files
arm64 2.0.0-7+b4 2,260.4 kB10,856.0 kB [list of files]