StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Daniel Le Berre

Rating
1500.00 (3,109,396th)

Reputation
101 (717,882nd)

Page: 1

Title	Δ
How to find solutions randomly (nondeterministically) in SAT4J?	0.00
How does SAT4J solve Pseudo-Boolean problems? Does it use a custom...	0.00
Representing Minesweeper Constraints in Sat4J/CNF	0.00
"A JNI error has occurred, please check your installation and...	0.00
SAT4J Implication use case	0.00
Using a SAT solver from Scala class	0.00
SAT Solver: SAT4J - evaluating only a subset of clauses	0.00
SAT Solver: SAT4J - more examples?	0.00
Incremental SAT Solving: save solving instance - change model betwe...	0.00
SAT4J embbeding solver exception	0.00
Sat4j Remote Control window doesn't open	0.00
Sat4J Running out of heap space	0.00