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

sci-mathematics/frama-c

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