pycatia.knowledge_interfaces.constraint_satisfactionΒΆ