Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Do you mean something like laser?: https://github.com/michaeledgar/laser


LASER's homepage ( http://carboni.ca/projects/p/laser ) for some reason does not load in my browser. http://downforeveryoneorjustme.com/http://carboni.ca/project...

Judging the project from its feature list in the README.md, it does not seem like LASER is capable of handling arbitrary invariants.




Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: