Fast translation from LTL formulae to Buchi automata
Build log · · This campaign
Planning log · · This campaign
pkgs/by-name/lt/ltl2ba/package.nixDirect dependencies
bash-5.2p37ltl2ba-1.3.tar.gzstdenv-linuxSelected dependents
None recorded.
Could not load new data. Automatic updates will retry; you can also reload.
Fast translation from LTL formulae to Buchi automata
Build log · · This campaign
Planning log · · This campaign
pkgs/by-name/lt/ltl2ba/package.nixNone recorded.