| alt-ergo-1.01-2.mga6 |
Automated theorem prover including linear arithmetic |
linux/x86_64 |
| alt-ergo-gui-1.01-2.mga6 |
Graphical front end for alt-ergo |
linux/x86_64 |
| coq-8.5pl2-2.mga6 |
The Coq Proof Assistant |
linux/x86_64 |
| coq-flocq-2.5.1-2.mga6 |
Formalization of floating point numbers for Coq |
linux/x86_64 |
| coq-ide-8.5pl2-2.mga6 |
The Coq Integrated Development Interface |
linux/x86_64 |
| curaengine-15.04-4.mga6 |
Engine for processing 3D models into G-code instructions for 3D printers |
linux/x86_64 |
| frama-c-1.13-0.20160501Aluminium.2.mga6 |
Framework for source code analysis of C software |
linux/x86_64 |
| fsa-0.51-5.mga6 |
Finite state automata package |
linux/x86_64 |
| fsa-tcl-0.51-5.mga6 |
Tcl/Tk interface for fsa |
linux/x86_64 |
| imagej-1.50h-1.mga6 |
Image Processing and Analysis in Java |
linux/noarch |
| imagej-javadoc-1.50h-1.mga6 |
Javadocs for imagej |
linux/noarch |
| kicad-4.0.4-1.mga6 |
An open source program for the creation of electronic schematic diagrams |
linux/x86_64 |
| kicad-doc-4.0.4-1.mga6 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-doc-4.0.1-6.mga6 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-i18n-4.0.4-1.mga6 |
Kicad locales |
linux/noarch |
| kicad-i18n-4.0.1-6.mga6 |
Kicad locales |
linux/noarch |
| kicad-library-4.0.4-1.mga6 |
Library for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-library-4.0.1-6.mga6 |
Library for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| lexed-4.7-15.mga6 |
Lexicon analyser |
linux/x86_64 |
| ltl2ba-1.1-4.mga6 |
Fast translation from LTL formulas to Buchi automata |
linux/x86_64 |