https://github.com/badouralix/tutors-lessons-durations-rates

Logic puzzle solver using Z3 Theorem Prover
https://github.com/badouralix/tutors-lessons-durations-rates

logic-puzzle z3

Last synced: about 1 month ago
JSON representation

Logic puzzle solver using Z3 Theorem Prover

• Host: GitHub
• URL: https://github.com/badouralix/tutors-lessons-durations-rates
• Owner: badouralix
• License: mit
• Created: 2022-03-13T14:50:53.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-03-13T20:30:50.000Z (almost 3 years ago)
• Last Synced: 2024-05-01T14:05:15.021Z (8 months ago)
• Topics: logic-puzzle, z3
• Language: Jupyter Notebook
• Homepage:
• Size: 32.2 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project