satdepsolver

Install:

ttrek install satdepsolver

Versions: