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