https://github.com/marcusaichmayr/certlin
SageMath package for linear inequality systems and certifying (un)solvability
https://github.com/marcusaichmayr/certlin
certificate circuits cocircuits elementary-vectors linear-inequality-system sagemath
Last synced: 4 months ago
JSON representation
SageMath package for linear inequality systems and certifying (un)solvability
- Host: GitHub
- URL: https://github.com/marcusaichmayr/certlin
- Owner: MarcusAichmayr
- License: gpl-3.0
- Created: 2025-10-31T21:50:57.000Z (7 months ago)
- Default Branch: master
- Last Pushed: 2025-12-02T21:42:39.000Z (6 months ago)
- Last Synced: 2026-01-04T22:23:36.615Z (5 months ago)
- Topics: certificate, circuits, cocircuits, elementary-vectors, linear-inequality-system, sagemath
- Language: Python
- Homepage: https://marcusaichmayr.github.io/certlin/
- Size: 75.2 KB
- Stars: 2
- Watchers: 0
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE