in short its a constraint solver
# coroutines
g
in short its a constraint solver