https://github.com/rhaidiz/congruenceclosure
Implementazione dell'algoritmo di chiusura di congruenza Nelson-Oppen
https://github.com/rhaidiz/congruenceclosure
Last synced: 3 months ago
JSON representation
Implementazione dell'algoritmo di chiusura di congruenza Nelson-Oppen
- Host: GitHub
- URL: https://github.com/rhaidiz/congruenceclosure
- Owner: rhaidiz
- Created: 2011-06-05T15:16:29.000Z (almost 14 years ago)
- Default Branch: master
- Last Pushed: 2011-06-15T20:57:45.000Z (almost 14 years ago)
- Last Synced: 2025-01-17T07:22:48.414Z (4 months ago)
- Language: Java
- Homepage:
- Size: 1.16 MB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README