https://github.com/mpardalos/grat

nix flake for GRAT - A verified SAT solver
https://github.com/mpardalos/grat

Last synced: 1 day ago
JSON representation

nix flake for GRAT - A verified SAT solver

• Host: GitHub
• URL: https://github.com/mpardalos/grat
• Owner: mpardalos
• Created: 2024-03-12T15:50:23.000Z (10 months ago)
• Default Branch: master
• Last Pushed: 2024-03-12T17:29:05.000Z (10 months ago)
• Last Synced: 2024-12-19T05:09:06.170Z (8 days ago)
• Language: Nix
• Size: 3.91 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project