| alt-ergo-1.30-1.mga6 |
Automated theorem prover including linear arithmetic |
linux/x86_64 |
| alt-ergo-gui-1.30-1.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 |
| cuba-4.2-3.mga6 |
A library for multidimensional numerical integration |
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.14-0.20161101Silicon.1.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.6-3.mga6 |
An open source program for the creation of electronic schematic diagrams |
linux/x86_64 |
| kicad-doc-4.0.6-3.mga6 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-i18n-4.0.6-3.mga6 |
Kicad locales |
linux/noarch |
| kicad-library-4.0.6-3.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 |
| picosat-936-12.mga6 |
Lightweight SAT solver |
linux/x86_64 |
| povray-3.7.0-0.20131116git39ce8a2.14.mga6 |
The Persistence of Vision Raytracer |
linux/x86_64 |