https://github.com/neil-ca-moore/SATas

SAT solver written in Actionscript
https://github.com/neil-ca-moore/SATas

Last synced: about 2 months ago
JSON representation

SAT solver written in Actionscript

• Host: GitHub
• URL: https://github.com/neil-ca-moore/SATas
• Owner: neil-ca-moore
• License: gpl-3.0
• Created: 2011-12-24T21:15:39.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2012-01-01T21:29:56.000Z (about 13 years ago)
• Last Synced: 2024-08-03T05:05:39.111Z (5 months ago)
• Language: ActionScript
• Homepage:
• Size: 2.57 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • License: COPYING

Awesome Lists containing this project

• awesome-actionscript-sorted - SATas - SAT solver written in Actionscript (Unsorted / Other API)