GitHub - xymus/javabdd-staticjni: JavaBDD implemented with StaticJNI

Name		Name	Last commit message	Last commit date
Latest commit History 409 Commits
.externalToolBuilders		.externalToolBuilders
.settings		.settings
buddy		buddy
net/sf/javabdd		net/sf/javabdd
xdocs		xdocs
.cdtproject		.cdtproject
.classpath		.classpath
.cvsignore		.cvsignore
.project		.project
JavaBDD.html		JavaBDD.html
Makefile		Makefile
NQueens.java		NQueens.java
RubiksCube.java		RubiksCube.java
buddy_jni.c		buddy_jni.c
cal_jni.c		cal_jni.c
cudd_jni.c		cudd_jni.c
javabdd.jardesc		javabdd.jardesc
javabddManifest		javabddManifest
jdd.jar		jdd.jar
maven.xml		maven.xml
project.properties		project.properties
project.xml		project.xml