CVS commit: wip/lbt

["Kamel Derouiche" <jihbed%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   jihbed
Date:           Sat Jun 12 23:15:38 UTC 2010

Import into wip/lbt

Log Message:
Import lbt-1.2.2 as wip/lbt.

This software converts a linear temporal logic (ltl) formula to a generalised
B?chi automaton.The resulting automaton may be used, for instance, in model
checking, where it represents a property to be verified from
a model (e.g. a Petri net).

Status:

Vendor Tag:     JIHBED
Release Tags:   JIHBED_20100613
                
N wip/lbt/distinfo
N wip/lbt/Makefile
N wip/lbt/PLIST
N wip/lbt/DESCR
N wip/lbt/patches/patch-aa

No conflicts created by this import


------------------------------------------------------------------------------
ThinkGeek and WIRED's GeekDad team up for the Ultimate 
GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the 
lucky parental unit.  See the prize list and enter to win: 
http://p.sf.net/sfu/thinkgeek-promo
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs