Timeline for Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16, 2013 at 13:03 | history | edited | sean | CC BY-SA 3.0 |
added 95 characters in body
|
| Oct 13, 2013 at 0:21 | answer | added | Realz Slaw | timeline score: 22 | |
| Oct 11, 2013 at 7:21 | history | edited | Raphael |
edited tags
|
|
| Oct 9, 2013 at 15:21 | history | tweeted | twitter.com/#!/StackCompSci/status/387960906757718016 | ||
| Oct 9, 2013 at 12:42 | review | First posts | |||
| Oct 9, 2013 at 13:52 | |||||
| Oct 9, 2013 at 12:25 | history | asked | sean | CC BY-SA 3.0 |