StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Answers and rating deltas for

Has anybody seen a good open source Prolog implementation of the SATCHMO theorem prover?

Author Votes Δ
Norbert E. Fuchs 5 +4.07
twinterer 4 -1.67
Last visited: Sep 14, 2014, 5:07:29 AM