[planet-announce] New PLaneT package: mangpo/aforth-optimizer.plt for 4.x, 3xx

From: PLaneT (planet at racket-lang.org)
Date: Mon Dec 30 16:35:12 EST 2013

This announces the availability of a new package from PLaneT:

-------
Name:            aforth-optimizer.plt
Package version: 1.0
Owner:           mangpo


Package Description
GreenArrays F18A superoptimizer is a synthesizer that synthesizes the optimal F18A code in term of runtime or length from a given F18A program. The synthesizer uses z3 SMT solver. It runs on Linux, Windows, and Mac.
-------

Go to 

http://planet.racket-lang.org/display.ss?package=aforth-optimizer.plt&owner=mangpo

for more information.


Posted on the planet-announce mailing list.