Commit History

only accept one rule as a solution, we select the first one. Do not allow groundings
999258b

LukasHug commited on