The DescriptiveEnvironment program is available for free use under an ISC license.

Descriptive Environment was originally envisioned by Neil Immerman but the programming was principally done by Charles (Skip) Jordan and his recent collaborator Ɓukasz Kaiser.

A paper describing this project is:

Marco Carmosino, Neil Immerman and Charles Jordan, Experimental Descriptive Complexity, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 2012, R.L. Constable and A. Silva, eds., Springer LNCS 7230, 24-34.

But see Skip's homepage for considerable more recent work.

We would be delighted for you to play with this tool. Please send us your examples, questions, suggestions, improvements, and extensions.

This research was supported in part by NSF grants CCF 1115448; CCF 0830174 and by a Grant-in-Aid for JSPS Fellows under Grant No. 2100195209.