Ycarus Gentoo ebuild

guru

These ebuilds come from .

If you have some problems, go to the official site first.

sci-mathematics

aspcud : A solver for package problems in CUDF format ( HOMEPAGE=" )

chaco : Software for Partitioning Graphs ( https://www3.cs.stonybrook.edu/~algorith/implement/chaco/implement.shtml )

clasp : A conflict-driven nogood learning answer set solver ( HOMEPAGE=" )

clingo : Integrated grounder and solver for answer set logic programs ( HOMEPAGE=" )

frama-c : Framework for analysis of source codes written in C ( https://frama-c.com )

frama-c-aorai : Aorai (automaton annotations) plugin for frama-c ( https://frama-c.com )

frama-c-callgraph : Callgraph plugin for frama-c ( https://frama-c.com )

frama-c-constant-folding : Constant folding plugin for frama-c ( https://frama-c.com )

frama-c-dive : Dive plugin for frama-c ( https://frama-c.com )

frama-c-e-acsl : Runtime verification of ACSL (E-ACSL) plugin for frama-c ( https://frama-c.com )

frama-c-eva : Value analysis (EVA) plugin for frama-c ( https://frama-c.com )

frama-c-from : From analysis plugin for frama-c ( https://frama-c.com )

frama-c-impact : Impact plugin for frama-c ( https://frama-c.com )

frama-c-inout : In/out analysis plugin for frama-c ( https://frama-c.com )

frama-c-instantiate : Instantiate analysis plugin for frama-c ( https://frama-c.com )

frama-c-loopanalysis : Loop analysis plugin for frama-c ( https://frama-c.com )

frama-c-metrics : Metrics plugin for frama-c ( https://frama-c.com )

frama-c-nonterm : Nonterm plugin for frama-c ( https://frama-c.com )

frama-c-obfuscator : Obfuscator plugin for frama-c ( https://frama-c.com )

frama-c-occurrence : Occurrence analysis plugin for frama-c ( https://frama-c.com )

frama-c-pdg : Program dependence graph plugin for frama-c ( https://frama-c.com )

frama-c-postdominators : Postdominators plugin for frama-c ( https://frama-c.com )

frama-c-printapi : Plugin generating .mli interface files for plugin APIs for frama-c ( https://frama-c.com )

frama-c-qed : Qed plugin for frama-c ( https://frama-c.com )

frama-c-report : Report plugin for frama-c ( https://frama-c.com )

frama-c-rtegen : Runtime error annotation (RTE) generation plugin for frama-c ( https://frama-c.com )

frama-c-scope : Scope plugin for frama-c ( https://frama-c.com )

frama-c-security-slicing : Security slicing plugin for frama-c ( https://frama-c.com )

frama-c-server : Server plugin for frama-c ( https://frama-c.com )

frama-c-slicing : Slicing plugin for frama-c ( https://frama-c.com )

frama-c-sparecode : Spare code plugin for frama-c ( https://frama-c.com )

frama-c-studia : Studia plugin for frama-c ( https://frama-c.com )

frama-c-users : Users plugin for frama-c ( https://frama-c.com )

frama-c-variadic : Variadic function transformation plugin for frama-c ( https://frama-c.com )

frama-c-wp : Deductive proof of ACSL contracts (WP) plugin for frama-c ( https://frama-c.com )

lean-mathlib : Lean mathematical components library ( https://github.com/leanprover-community/mathlib )

mccs : Multi Criteria CUDF Solver ( https://www.i3s.unice.fr/~cpjm/misc/mccs.html )

minisat+ : solver for pseudo-Boolean constraints ( http://minisat.se/MiniSat+.html )

minisatp : solver for pseudo-Boolean constraints ( https://github.com/niklasso/minisatp/tree/master )

packup : PACKage Upgradability Problem solver ( https://sat.inesc-id.pt/~mikolas/sw/packup/ )

qepcad : Quantifier Elimination by Partial Cylindrical Algebraic Decomposition ( HOMEPAGE=" )

radian : A 21 century R console ( HOMEPAGE=" )

the-omega-project : Tools from Pugh et al.'s for constraint-based compiler tools ( https://github.com/davewathaverford/the-omega-project )

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a guru

For Paludis use this rsync : rsync://gentoo.zugaina.org/guru-portage

If you have a problem : ycarus(-at-)zugaina.org