idp_solver.Run¶
Classes to execute the main block of an IDP program
-
idp_solver.Run.
model_expand
(theories, structures=None, max=10, complete=False, extended=False)[source]¶ output: a list of Assignments, ending with a string
Classes to execute the main block of an IDP program
idp_solver.Run.
model_expand
(theories, structures=None, max=10, complete=False, extended=False)[source]¶output: a list of Assignments, ending with a string