alt-ergo-2.3.3-1.mga9 |
Automated theorem prover including linear arithmetic |
linux/armv7hl |
coq-8.16.1-1.mga9 |
The Coq Proof Assistant |
linux/armv7hl |
coq-flocq-4.1.0-2.mga9 |
Formalization of floating point numbers for Coq |
linux/armv7hl |
coq-ide-8.16.1-1.mga9 |
The Coq Integrated Development Interface |
linux/armv7hl |
coq-ide-server-8.16.1-1.mga9 |
The coqidetop language server |
linux/armv7hl |
cuba-4.2.2-1.mga9 |
A library for multidimensional numerical integration |
linux/armv7hl |
curaengine-5.4.0-2.mga10 |
Engine for processing 3D models into G-code instructions for 3D printers |
linux/armv7hl |
imagej-1.54k-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/armv7hl |
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/armv7hl |
ltl2ba-1.3-2.mga9 |
Fast translation from LTL formulas to Buchi automata |
linux/armv7hl |
ocaml-alt-ergo-lib-2.3.3-1.mga9 |
Automated theorem prover library |
linux/armv7hl |
ocaml-alt-ergo-lib-devel-2.3.3-1.mga9 |
Development files for ocaml-alt-ergo-lib |
linux/armv7hl |
ocaml-alt-ergo-parsers-2.3.3-1.mga9 |
Parser library used by the Alt-Ergo SMT solver |
linux/armv7hl |
ocaml-alt-ergo-parsers-devel-2.3.3-1.mga9 |
Development files for ocaml-alt-ergo-parsers |
linux/armv7hl |