https://github.com/puripuri2100/xml2saty

This software converts xml file to SATySFi's document file.
https://github.com/puripuri2100/xml2saty

ocaml opam satysfi satysfi-document xml xml2saty

Last synced: 6 days ago
JSON representation

This software converts xml file to SATySFi's document file.

• Host: GitHub
• URL: https://github.com/puripuri2100/xml2saty
• Owner: puripuri2100
• License: mit
• Created: 2020-01-13T07:41:56.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-05-03T07:32:33.000Z (over 4 years ago)
• Last Synced: 2023-03-05T17:07:00.789Z (over 1 year ago)
• Topics: ocaml, opam, satysfi, satysfi-document, xml, xml2saty
• Language: OCaml
• Homepage:
• Size: 129 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project