yav / simple-smt

BSD 3-Clause "New" or "Revised" License
20 stars 20 forks source link

Handle design pattern #24

Closed gabrielhdt closed 2 years ago

gabrielhdt commented 2 years ago

This PR implements the so called "Handle" design pattern.