Gentoo Portage Overlays - sci-mathematics/ltl2ba

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/ltl2ba

Fast LTL to Buechi Automata Translation

Screenshots

http://www.lsv.ens-cachan.fr/~gastin/ltl2ba

ltl2ba-1.3

~amd64 ~x86

View

Download

Browse License: GPL-2

Overlay: science

ltl2ba-1.2

~amd64 ~x86

View

Download

Browse License: GPL-2

Overlay: science

ltl2ba-1.1

~amd64 ~x86

View

Download

Browse License: GPL-2

Overlay: science

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.