chalk-solve (cargo): Combines the chalk-engine with chalk-ir
Keywords: compiler|prolog|traits