A Tutorial on Hybrid Answer Set Solving with clingo
answer set solving in practice .