mratschheitmann

mratschheitmann's Stars

• potassco/asprilo

  🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming

  Language:Python5518

• potassco/clingo

  🤔 A grounder and solver for logic programs.

  Language:C++62583