Issues

• Python3.15 wheels and macos27 CI

  randriu/paynt#153 · Filter by author TheGreatfpmK opened on Oct 26, 2026

• Look into using ClickException for exceptions and errors

  randriu/paynt#146 · Filter by author TheGreatfpmK opened on Oct 9, 2026

• DTs for POMDPs

  randriu/paynt#145 · Filter by author TheGreatfpmK opened on Oct 7, 2026

• Support for conditional reachability

  enhancement
  randriu/paynt#142 · Filter by author TheGreatfpmK opened on Oct 1, 2026

• Update to --sound flag

  randriu/paynt#141 · Filter by author TheGreatfpmK opened on Oct 1, 2026

• Graceful exit on SIGINT

  enhancement
  randriu/paynt#139 · Filter by author TheGreatfpmK opened on Sep 29, 2026

• Enhanced property parsing for cli and property adjustments

  enhancement
  randriu/paynt#138 · Filter by author TheGreatfpmK opened on Sep 28, 2026

• Exact mode for reward properties

  enhancementpriority
  randriu/paynt#135 · Filter by author TheGreatfpmK opened on Sep 22, 2026

• Harmonization in base AR

  enhancement
  randriu/paynt#134 · Filter by author TheGreatfpmK opened on Sep 21, 2026

• AR with priority queue

  enhancement
  randriu/paynt#133 · Filter by author TheGreatfpmK opened on Sep 21, 2026
  1

• Remove models folder from the repository

  randriu/paynt#108 · Filter by author TheGreatfpmK opened on Jun 4, 2026

• dtPAYNT reports that it explores 200% of the design space

  bug
  randriu/paynt#91 · Filter by author TheGreatfpmK opened on Feb 23, 2026

• Fix SAYNT

  randriu/paynt#76 · Filter by author TheGreatfpmK opened on Oct 5, 2025
  

• Check whether we need all of the multiplier classes for SMG model checker

  randriu/paynt#68 · Filter by author TheGreatfpmK opened on Jun 3, 2025
  1

  

• Add tests for PAYNT and payntbind

  good first issuehelp wanted
  randriu/paynt#60 · Filter by author TheGreatfpmK opened on Feb 18, 2025
  4