https://github.com/puripuri2100/csv2satyg

Converts csv file to SATySFi's package file.
https://github.com/puripuri2100/csv2satyg

csv satysfi

Last synced: 6 days ago
JSON representation

Converts csv file to SATySFi's package file.

• Host: GitHub
• URL: https://github.com/puripuri2100/csv2satyg
• Owner: puripuri2100
• License: mit
• Created: 2020-04-01T19:34:54.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-04-02T02:49:40.000Z (over 4 years ago)
• Last Synced: 2023-03-05T17:06:51.013Z (over 1 year ago)
• Topics: csv, satysfi
• Language: OCaml
• Homepage:
• Size: 13.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project