Nicotine Is a COnstraint-based T and p-INvariant Extractor.
Besides being a famous alkaloid found in tobacco, Nicotine (Nicotine
Is a COnstraint-based T and p-INvariant Extractor) is a
(GNU Prolog) program that computes a Petri-net’s invariants by using
Constraint Programming and has grown to encompass many other utilities.
