source: swig/perl @ 02888af

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
language.i	514 bytes ​	e17b1fa	14 years	Mike Ryan	map abac_chunk_t <-> scalar in perl
Makefile	310 bytes ​	06e2fc5	14 years	Mike Ryan	add swig
partial_proof.pl	1.3 KB ​	c987819	14 years	Mike Ryan	partial proof tester
prover.pl	603 bytes ​	06e2fc5	14 years	Mike Ryan	add swig

Property mode set to 040000