Re: #258: z3 egg improvements

[Chicken Trac]

#258: z3 egg improvements
------------------------------------+-------------------------
            Reporter:  Jim Ursetto  |      Owner:  Jim Ursetto
                Type:  enhancement  |     Status:  new
            Priority:  minor        |  Milestone:  someday
           Component:  extensions   |    Version:
          Resolution:               |   Keywords:  z3
Estimated difficulty:  medium       |
------------------------------------+-------------------------
Changes (by felix winkelmann):

 * milestone:   => someday


-- 
Ticket URL: <https://bugs.call-cc.org/ticket/258#comment:3>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.