-
Notifications
You must be signed in to change notification settings - Fork 0
A script to find solutions to the Pythagorean theorem in three dimensions using SMT solving
License
marcelwa/pythagorean-3d-solver
ErrorLooks like something went wrong!
About
A script to find solutions to the Pythagorean theorem in three dimensions using SMT solving
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published