source: examples/python_tests/experiment_multi_rt0 @ dfe6b61

Name	Size	Rev	Age	Author	Last Change
../
attr.py	5.1 KB ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
experiment.save	707 bytes ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
query.py	2.0 KB ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
README	1.3 KB ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
run_test	732 bytes ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
setup.py	719 bytes ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.

Property mode set to 040000