infmachine_gen 0.1.1

The Infinite Machine generator library.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
## 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.