Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
27 lines (13 sloc) 530 Bytes
This is a problem solver for 3-dimensional geometrical qualitative problems for high schools.
1. install CLIPS to your system:
1. install XClips to your system:
2. Build this project via Gnu make:
3. Run the test suite
make test
Check the (Chinese) documentation for how to use this program: