Create test/REQUIRE to get FactCheck and a solver