Issues

• Bug in GUI

  bug
  Bug

  SDARG/jreliability#38 · Filter by author michaelhglass opened on Jun 6, 2025
  

• Codacy Code Quality and Coverage

  enhancement
  SDARG/jreliability#37 · Filter by author michaelhglass opened on Feb 11, 2025
  

• Semantic versioning (SemVer 2.0.0)

  enhancement
  SDARG/jreliability#32 · Filter by author michaelhglass opened on May 5, 2021
  

• Tutorial

  bughelp wanted
  SDARG/jreliability#28 · Filter by author michaelhglass opened on Mar 24, 2021
  

• Java9 streaming API for functions

  SDARG/jreliability#20 · Filter by author felixreimann opened on Jun 26, 2018

• How to deal with empty Terms and/or Zero/One BDDs

  bug
  SDARG/jreliability#4 · Filter by author michaelhglass opened on Jul 4, 2017
  4

  

• Rounding in approximations

  enhancementquestion
  SDARG/jreliability#3 · Filter by author michaelhglass opened on Jul 3, 2017