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