joshua/monoid-learner
1
Fork 0
mirror of https://github.com/Jaxan/monoid-learner.git synced 2025-06-04 23:47:44 +02:00
Code Issues Releases Activity

Commit graph

  • 14b6d8ce5a Automatic counterexample handling main Joshua Moerman 2021-07-29 14:54:52 +02:00
  • 0cb1e8d764 Cleaned up a little bit Joshua Moerman 2021-03-29 16:52:47 +02:00
  • ecfc02c1c5 Added example output Joshua Moerman 2021-03-12 10:13:45 +01:00
  • 1faca5b575 Working implementation Joshua Moerman 2021-03-12 09:51:53 +01:00
  • 0e70561e4f initial commit Joshua Moerman 2021-03-12 09:49:31 +01:00