Awesome Scala Logic Programming and Type Constraints

  • leon leon 163
    star
    updated over 6 years ago Other

    The Leon system for verification, synthesis, repair

  • updated 10 months ago Apache License 2.0

    DSL in Scala for Constraint Solving with Z3 SMT Solver