Changes in version 0.6.1 (2025-07-11)                  

  - added a fix when categorical variables where used, without a rule
    that specified the domain. (issue #15) Thanks to Romina Filippini
    and Simona Toti for reporting.

  - added a new function detect_contradicting_if_rules. (issue #16) It
    detects all rules that are not satisfiable together with the if
    condition. Thanks to Romina Filippini and Simona Toti for the
    suggestion.

  - added a verbose argument to most functions, which allows to print
    more information about the detection or simplification process.

  - fix for is_contradicted_by and detect_infeasible_rules when the
    rules contained if statements.

  - added extra simplification for conditional statements (issue #10)

                 Changes in version 0.5.2 (2023-09-30)                  

  - Added fix for change is.atomic(NULL)==FALSE in R 4.3.2

                         Changes in version 0.5                         

  - improved dnf parsing: more complex if statements are parsed as dnf,
  - complex if statements were failing with simplify_conditional: issue
    #13

                 Changes in version 0.4.7 (2019-12-19)                  

  - Fix for issue 12, Thanks to Sander Scholtus: substitute_values was
    failing on conditional statements.

                 Changes in version 0.4.6 (2019-03-08)                  

  - Fix for issue 11, Thanks to Ton de Waal: simplify_conditional was
    not working correctly on pure categorical rules
  - output of detect_boundary_cat has changed (improved)

                        Changes in version 0.4.4                        

  - Negative coeficients in linear rules were ignored, now fixed

                 Changes in version 0.4.3 (2018-03-27)                  

  - Fixed issue #9, bug with pure categorical rules.

                        Changes in version 0.4.2                        

  - Internal updates for compatability with 'validate' version 0.2.3.

                 Changes in version 0.4.1 (2017-11-03)                  

  - initial release