User contributions for Planetwrench
Results for Planetwrench talk block log uploads logs global block log global account filter log
A user with 8 edits. Account created on 7 September 2020.
14 May 2024
- 19:2919:29, 14 May 2024 diff hist −595 The Mountains Remove information about moi Caprice and The William Blakes, and in stead link those to their respective articles. Tag: Visual edit
- 19:2119:21, 14 May 2024 diff hist +4 The Mountains Remove the official website; the domain has lapsed and is now squatted. An archival copy should be put somewhere, but I don't know how to do that. Tag: Visual edit
20 October 2020
- 09:5609:56, 20 October 2020 diff hist +190 Talk:Satisfiability modulo theories/to do Suggestions for things to do
- 09:4909:49, 20 October 2020 diff hist +823 Talk:Satisfiability modulo theories →relation to constraint programming?
19 October 2020
- 16:1016:10, 19 October 2020 diff hist +3,067 Satisfiability modulo theories Add a section on standardization of solvers, talk mostly about SMT-LIB Tag: Visual edit
- 09:5909:59, 19 October 2020 diff hist +32 Satisfiability modulo theories Add a link to automated theorem proving under See also Tag: Visual edit
8 October 2020
- 08:2708:27, 8 October 2020 diff hist +330 N User:Planetwrench Just write the briefest possible presentation current Tag: Visual edit
