source: swig/python @ 4721618

Name	Size	Rev	Age	Author	Last Change
../
abac.h	9 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
abac.hh	10 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
abac.i	9 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
abac_prover.py	1.1 KB ​	605ee1d	12 years	Mike Ryan	be clear when a proof has failed
chunk.i	779 bytes ​	b099964	13 years	Mike Ryan	compile error in python swig
language.i	750 bytes ​	97f6219	13 years	Mike Ryan	convert from native Python files to FILE * in swig

Property mode set to 040000