Ycarus Gentoo ebuild


These ebuilds come from .

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


acl2 : Industrial strength theorem prover ( https://www.cs.utexas.edu/users/moore/acl2/ )

isabelle-bin : Generic proof assistant with higher-order logic ( https://isabelle.in.tum.de/overview.html )

scilab-bin : Scientific software package for numerical computations ( https://www.scilab.org/ )

z3 : An efficient theorem prover ( https://github.com/Z3Prover/z3/ )

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a src_prepare-overlay

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

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