Skip to content

Instantly share code, notes, and snippets.

@IDP-Z3
Last active February 15, 2024 14:28
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save IDP-Z3/5d82c61fa39e8aa23da1642a2e2b420a to your computer and use it in GitHub Desktop.
IDP-Z3 versions
{
"IDP-Z3 latest": "20231113t103608-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 stable": "interactive-consultant.idp-z3.be",
"IDP-Z3 0.5.6": "20201222t185754-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.5.5": "20201119t122325-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.5.4": "20201006t101829-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.5.3": "20200915t113559-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.5.1": "20200526t173848-dot-interactive-consultant.ew.r.appspot.com",
"local": "localhost",
"local ": "127.0.0.1",
"IDP-Z3 0.6.1": "20210104t161500-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.7.0": "20210216t172948-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.7.1": "20210216t185048-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.7.2": "20210216t211859-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.8.0": "20210325t181315-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.8.1": "20210511t102140-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.8.2": "20210602t120021-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.8.3": "20210818t142128-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.8.4": "20210930t091100-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.9.0": "20211216t093546-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.9.1": "20220125t121451-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.9.2": "20220210t174139-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.0": "20221012t090722-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.1": "20221214t175026-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.2": "20221219t134431-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.3": "20230324t184417-dot-interactive-consultant.ew.r.appspot.com",
"Reasonable latest": "20230505t145652-dot-interactive-consultant.ew.r.appspot.com",
"Reasonable R0.1.0": "20230404t105135-dot-interactive-consultant.ew.r.appspot.com",
"Reasonable R0.1.1": "20230404t110454-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.4": "20230417t162445-dot-interactive-consultant.ew.r.appspot.com",
"Reasonable R0.1.2": "20230417t171409-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.5": "20230503t120753-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.6": "20230503t122618-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.7": "20230504t115002-dot-interactive-consultant.ew.r.appspot.com",
"Reasonable R0.1.3": "20230504t115600-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.8": "20230505t144900-dot-interactive-consultant.ew.r.appspot.com",
"Reasonable R0.1.4": "20230505t145652-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.9": "20230531t123752-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.10": "20230818t135925-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.11": "20230818t144127-dot-interactive-consultant.ew.r.appspot.com",
"IDP-Z3 0.10.12": "20231113t103608-dot-interactive-consultant.ew.r.appspot.com",
"Dia-logic latest": "20240215t152601-dot-dia-logic.ew.r.appspot.com",
"Dia-logic 0.1.8": "20240207t172754-dot-interactive-consultant.ew.r.appspot.com",
"Dia-logic 0.1.10": "20240214t140709-dot-dia-logic.ew.r.appspot.com",
"Dia-logic 0.1": "20240215t152601-dot-dia-logic.ew.r.appspot.com",
"Dia-logic 0.1.11": "20240215t152601-dot-dia-logic.ew.r.appspot.com"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment