3 ms·
From the docs it's using proper backtracking solvers. It doesn't need introspection to do this, just a python object that "records" its operations, eg: def
by ben-schaaf 4y ago
From the docs it's using proper backtracking solvers. It doesn't need introspection to do this, just a python object that "records" its operations, eg:
def __mul__(self, other):
return Multiplication(self, other)
- default-kramer 4y agoCool trick! I don't know enough Python to have thought of this myself.