Descriptive-Environment (DE)

This is a fork of the DescriptiveEnvironment (DE) described in Carmosino, Immerman, Jordan, "Experimental Descriptive Complexity" (2012).

Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
extern		extern
include		include
logic		logic
redfind		redfind
src		src
test		test
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md

Navigation Menu