3 ms·
Blog post with submission title: “Fault is a language for modeling systems that compiles down to SMT” This is in the power of the submitter since the submitter
by avgcorrection 4y ago
Blog post with submission title: “Fault is a language for modeling systems that compiles down to SMT”
This is in the power of the submitter since the submitter is the author of this piece.
- cinntaile 4y agoThat would be an incorrect description of the content. The point of the article isn't to introduce the language, the point is to sollicit feedback.