# x86

## registers.py 

Contains a simple class implementing a sub set of x86's registers and flags.

## Examples
### add.py  
Contains an example of encoding the 'add' instruction using z3.
### xor.py
Contains an example of encoding the 'xor' instruction using z3.
### jmp.py
Contains an example of encoding the 'jmp' instruction using z3.
### jnz.py
Contains an example of encoding the 'jnz' instruction using z3.
## Labs

### sub.py
A skeleton in which you need to implement the 'sub' instruction using z3.
### or.py
A skeleton in which you need to implement the 'or' instruction using z3.
### jg.py
A skeleton in which you need to implement the 'jg' instruction using z3.
## Solutions
### sub_solution.py
An example solution for the 'sub' instruction.
### or_solution.py
An example solution for the 'or' instruction.
### jg_solution.py
An example solution for the 'jg' instruction.