andrelbd1/8queens-SMV

Modeling the 8queens problem in SMV