source: experiments/frams/logic/data/scripts/synthetic_rules.inc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @212   11 years adam syntheticConjABRule(A,B) now properly collects entangled literals from …
(add) @169   11 years Maciej Komosinski A library of logic functions, an experiment definition that generates …
Note: See TracRevisionLog for help on using the revision log.