CellNOpt homepage|cellnopt.core 1.0.0 documentation

FAQS

How do the logical symbols are coded ?

From Wikipedia, the AND, OR and NOT are coded as follows:

   
negation \lnot
not \sim
propositional logic !

and

   
logical conjunction \land
and .
propositional logic \&

and

   
logical disjunction \lor
or +
propositional logic ||

In CellNOptR (R version), AND gates are coded with + signs. This is unfortunate since from the tables above it corresponds to OR.

In CNA, formats uses the correct conventions.