| alt-ergo-2.1.0-3.mga7 |
Automated theorem prover including linear arithmetic |
linux/x86_64 |
| alt-ergo-gui-2.1.0-3.mga7 |
Graphical front end for alt-ergo |
linux/x86_64 |
| coq-8.6.1-2.mga7 |
The Coq Proof Assistant |
linux/x86_64 |
| coq-flocq-2.6.0-1.mga7 |
Formalization of floating point numbers for Coq |
linux/x86_64 |
| coq-ide-8.6.1-2.mga7 |
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-16.0-0.20171101Sulfur.2.mga7 |
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.51w-1.mga7 |
Image Processing and Analysis in Java |
linux/noarch |
| imagej-javadoc-1.51w-1.mga7 |
Javadocs for imagej |
linux/noarch |
| kicad-4.0.6-8.mga7 |
An open source program for the creation of electronic schematic diagrams |
linux/x86_64 |
| kicad-doc-4.0.6-8.mga7 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-i18n-4.0.6-8.mga7 |
Kicad locales |
linux/noarch |
| kicad-library-4.0.6-8.mga7 |
Library for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| lexed-4.7-15.mga6 |
Lexicon analyser |
linux/x86_64 |
| ltl2ba-1.2-0.b1.1.mga7 |
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.7-1.mga7 |
The Persistence of Vision Raytracer |
linux/x86_64 |