FALSE in ["very funny", "smartadd", "drop 'the' test.out", "not test 2", "mrshutco", "not test 1", "not", "what is tasty", "ice cream", "number of theories 2", "and", "is in list", "superior lasagna", "xor", "list comp", "forall_impl", "really funny", "lasagna", "in list", "and 3", "and 4", "usermul", "or", "c# example", "iter", "dadbot+1", "verify 1", "smartmul", "verify 2", "eq", "brackets", "list fillers", "is a theory", "number of theories", "foot-feet", "bit-bits"] ``` Starting on goal: $x = c # example Goal arity 5: $x = c # example nextSolution Push $x (_1) Push $y (_2) Resetting variable $y (_2) Resetting variable $x (_1) Push _1 ($x) Resetting variable _1 ($x) Push $x (_3) Resetting variable $x (_3) Push _3 ($x) Resetting variable _3 ($x) Push $x (_4) Push $y (_5) Resetting variable $y (_5) Resetting variable $x (_4) Push _4 ($x) Resetting variable _4 ($x) Push $x (_6) Push $y (_7) Resetting variable $y (_7) Resetting variable $x (_6) Push _6 ($x) Resetting variable _6 ($x) Push $e2 (_8) Push $e1 (_9) Resetting variable $e1 (_9) Resetting variable $e2 (_8) Push _8 ($x) Resetting variable _8 ($x) Push $e (_10) Push $list (_11) Push $c (_12) Resetting variable $c (_12) Resetting variable $list (_11) Resetting variable $e (_10) Push _10 ($x) Resetting variable _10 ($x) Push $a (_13) Push $b (_14) Push $c (_15) Resetting variable $c (_15) Resetting variable $b (_14) Resetting variable $a (_13) Push _13 ($x) Resetting variable _13 ($x) Push $x (the) Resetting variable $x (the) Push $x ("\"and\"") Resetting variable $x ("\"and\"") Push $x ("\",\"") Resetting variable $x ("\",\"") Push $x (_16) Push $e1 (_17) Resetting variable $e1 (_17) Resetting variable $x (_16) Push _16 ($x) Resetting variable _16 ($x) Done with goal! No solution``` 1 ms
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #3000274 |
Snippet name: | Answer for stefanreich (>> log $x = c# example) |
Eternal ID of this version: | #3000274/1 |
Text MD5: | 66ed6c26a25763c2dfa9d3ac8e11aab7 |
Author: | someone |
Category: | |
Type: | New Tinybrain snippet |
Gummipassword: | eleutheria-for-user |
Uploaded from IP: | 69.10.46.185 |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2016-03-11 00:41:35 |
Source code size: | 1885 bytes / 63 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 553 / 112 |
Referenced in: | [show references] |