Skip to content
@graphs4value

Graphs4Value

Pinned Loading

  1. refinery refinery Public

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

    Java 10 17

Repositories

Showing 4 of 4 repositories
  • graphs4value.github.io Public

    Deployed web page for Refinery, an efficient graph solver for generating well-formed models. See https://github.com/graphs4value/refinery for the main repository

    graphs4value/graphs4value.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Aug 3, 2024
  • refinery Public

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

    graphs4value/refinery’s past year of commit activity
    Java 10 EPL-2.0 17 0 1 Updated Aug 3, 2024
  • refinery-z3 Public

    Z3 Java Bindings for Refinery

    graphs4value/refinery-z3’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Jun 23, 2024
  • refinery-tutorials Public

    This repository contains tutorial(s) for the refinery framework

    graphs4value/refinery-tutorials’s past year of commit activity
    0 0 0 0 Updated Jan 19, 2024

Top languages

Loading…

Most used topics

Loading…