Added a couple of defines to std setup
completed micro architecture draft. Build ok. To be reviewed.
Implemented microcode loaders
Minor changes to sat implementation
First working draft of cnf injection :-)
Minor changes to microcode generation script
some debug
Showing node indexes only where applicable
Enabled and chain optimization on equals
Minor changes
Fixed implementation of injection when constants are involved