🦉 A grounder and solver for logic programs. - View it on GitHub
Star
754
Rank
54940