Autoresearch for SAT Solvers

  • Posted 19 hours ago by chaisan
  • 159 points
https://github.com/iliazintchenko/agent-sat

13 comments

    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..
    Loading..