| alt-ergo-2.3.3-1.mga9 |
Automated theorem prover including linear arithmetic |
linux/i586 |
| coq-8.16.1-1.mga9 |
The Coq Proof Assistant |
linux/i586 |
| coq-flocq-4.1.0-2.mga9 |
Formalization of floating point numbers for Coq |
linux/i586 |
| coq-ide-8.16.1-1.mga9 |
The Coq Integrated Development Interface |
linux/i586 |
| coq-ide-server-8.16.1-1.mga9 |
The coqidetop language server |
linux/i586 |
| cuba-4.2.2-1.mga9 |
A library for multidimensional numerical integration |
linux/i586 |
| curaengine-5.4.0-2.mga10 |
Engine for processing 3D models into G-code instructions for 3D printers |
linux/i686 |
| imagej-1.54j-1.mga10 |
Image Processing and Analysis in Java |
linux/noarch |
| kicad-8.0.5-1.mga10 |
An open source program for the creation of electronic schematic diagrams |
linux/i686 |
| kicad-doc-8.0.5-1.mga10 |
KiCad Documentation |
linux/noarch |
| kicad-footprints-8.0.5-1.mga10 |
KiCad Footprint Libraries |
linux/noarch |
| kicad-packages3d-8.0.5-1.mga10 |
KiCad 3D Models |
linux/noarch |
| kicad-symbols-8.0.5-1.mga10 |
KiCad Symbols |
linux/noarch |
| kicad-templates-8.0.5-1.mga10 |
KiCad Templates |
linux/noarch |
| lexed-4.7-19.mga9 |
Lexicon analyser |
linux/i586 |
| ltl2ba-1.3-2.mga9 |
Fast translation from LTL formulas to Buchi automata |
linux/i586 |
| ocaml-alt-ergo-lib-2.3.3-1.mga9 |
Automated theorem prover library |
linux/i586 |
| ocaml-alt-ergo-lib-devel-2.3.3-1.mga9 |
Development files for ocaml-alt-ergo-lib |
linux/i586 |
| ocaml-alt-ergo-parsers-2.3.3-1.mga9 |
Parser library used by the Alt-Ergo SMT solver |
linux/i586 |
| ocaml-alt-ergo-parsers-devel-2.3.3-1.mga9 |
Development files for ocaml-alt-ergo-parsers |
linux/i586 |