# satuio
Using SAT solvers to construct UIOs and ADSs