Source code for labscheduler.dev_tools.check_cp_instance

from google.protobuf import text_format
from ortools.sat.python.cp_model import CpModel, CpSolver




def main():
    model = CpModel()
    with open("infeasible.txt") as reader:
        text_format.Parse(reader.read(), model.Proto())
    solver = CpSolver()
    status = solver.Solve(model)
    print(solver.status_name(status))  # noqa: T201



if __name__ == "__main__":
    main()