[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 


for more information.

Posted on the planet-announce mailing list.