Lib.rs

InfMachine Gen

This library provides utilities to generate Infinite Machines. The Infinite Machine model is described in documentation of infmachine crate. This library uses gategen library to generate and create circuits. This library uses intvar and dynintvar object to holds variables. Main structure of that library is InfParMachineObject that holds input and outputs of machine's circuit. After filling all circuit outputs it possible to create machine description from that object.

Examples of usage that library in crate infmachine_examples.

More information in infmachine crate.