Repositories list

• refinery

  Public
  Refinery: an efficient graph solver for generating well-formed models

  graphsmodelinglogic

  Java

  •

  Eclipse Public License 2.0

  •20•15•0•0•Updated Nov 12, 2024Nov 12, 2024

• refinery-tutorials

  Public archive
  Archived tutorials for the Refinery framework. For up-to-date tutorials, see the Refinery website.

  0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• .github

  Public
  0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• refinery-z3

  Public
  Z3 Java Bindings for Refinery

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024