https://github.com/msakai/tpp2011

"Uniform Candy Distribution" problem
https://github.com/msakai/tpp2011

Last synced: about 1 month ago
JSON representation

"Uniform Candy Distribution" problem

• Host: GitHub
• URL: https://github.com/msakai/tpp2011
• Owner: msakai
• Created: 2011-11-09T14:05:04.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2012-11-11T07:42:44.000Z (about 12 years ago)
• Last Synced: 2024-10-13T23:49:01.848Z (3 months ago)
• Homepage:
• Size: 109 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
Attempt of proving "Uniform Candy Distribution" problem with Z3 SMT-solver.

See  for detail.