Timeline for Brute force SAT solver in Java
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:40 | history | edited | CommunityBot |
replaced http://codereview.stackexchange.com/ with https://codereview.stackexchange.com/
|
|
| Apr 7, 2017 at 13:31 | history | edited | coderodde | CC BY-SA 3.0 |
added 125 characters in body
|
| Apr 3, 2017 at 6:25 | vote | accept | coderodde | ||
| Apr 2, 2017 at 17:26 | answer | added | Imus | timeline score: 2 | |
| Mar 30, 2017 at 13:24 | history | edited | mdfst13 | CC BY-SA 3.0 |
Make example match solution and demo. Original example was true whenever x2 was and was not true for the given solution.
|
| Mar 30, 2017 at 12:55 | history | asked | coderodde | CC BY-SA 3.0 |