https://github.com/probcomp/ppaml-cp5

This is a workspace for ppaml challenge problem 5
https://github.com/probcomp/ppaml-cp5

Last synced: 11 months ago
JSON representation

This is a workspace for ppaml challenge problem 5

• Host: GitHub
• URL: https://github.com/probcomp/ppaml-cp5
• Owner: probcomp
• Created: 2015-05-28T22:47:21.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2015-05-28T23:08:45.000Z (almost 11 years ago)
• Last Synced: 2025-05-08T22:57:29.733Z (11 months ago)
• Language: C
• Homepage:
• Size: 4.8 MB
• Stars: 0
• Watchers: 7
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
PPAML Challenge Problem 5

========================

This repository contains collateral (problem description and associated tools) for CP5 of [PPAML](http://ppaml.galois.com/wiki/).