Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A tool for converting a boolean formula into CNF
Forked from python/cpython
The Python programming language
Versioning Competition Workflow Compiler
wol, the Wake On Lan client
Forked from potassco/clasp
A conflict-driven nogood learning answer set solver
Forked from chuffed/chuffed
The Chuffed CP solver
Seeing something unexpected? Take a look at the
GitHub profile guide.