« first day (1166 days earlier)      last day (3616 days later) » 

halirutan
halirutan
10:26
@Kuba forums.wolfram.com/mathgroup/archive/2006/Aug/msg00607.html
Kuba
Kuba
@halirutan Thanks ;)
 
10 hours later…
PlaysDice
PlaysDice
20:34
@kirma Do you know of a way to link Mathematica with the Z3 running on the same machine (e.g. bindings)? After your post I tried Z3 via rise4fun.com. In the blink of an eye Z3 solved a problem Mathematica couldn't handle.
 
1 hour later…
Kuba
Kuba
21:59
@halirutan It may be useful if you know how to handle resolution: 
   CellPrint[
     Cell @@ MathLink`CallFrontEnd@
       FrontEnd`ConvertToBitmapPacket@
        Cell[BoxData@ToBoxes@Manipulate[x, {x, 0, 1}], "Output"]
     ]

« first day (1166 days earlier)      last day (3616 days later) »