Alexis Comte

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
SAT provers are powerful tools for solving real-sized logic problems, but using them requires solid programming knowledge and may be seen w.r.t. logic like assembly language w.r.t. programming. Something like a high level language was missing to ease various users to take benefit of these tools. TouIST aims at filling this gap. It is devoted to(More)
  • 1