source: examples/python_tests/acme_multi_rt0 @ c3c73bd

Name	Size	Rev	Age	Author	Last Change
../
setup.py	372 bytes ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
run_test	722 bytes ​	646e57e	12 years	Mei	1) add partial proof
README	1.1 KB ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
query.py	2.6 KB ​	646e57e	12 years	Mei	1) add partial proof
multi.save	723 bytes ​	646e57e	12 years	Mei	1) add partial proof
attr.py	3.0 KB ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.

Property mode set to 040000