bastikr/boolean.py

Issues

• is this project still active?

  #120 opened 7 months ago by xmnlab
  0

• `subs` raises assertion when substituting with constant

  #118 opened a year ago by jgoeders
  2

• Support for XOR

  #117 opened a year ago by mwgamble
  0

• feature request: Add an export method

  #116 opened a year ago by showell
  1

• test on Python 3.11

  #115 opened 2 years ago by pombredanne
  0

• only use AND, OR , NOT

  #83 opened 6 years ago by shezankazi
  1

• Same operands in AND expression after simplification

  #111 opened 2 years ago by tomas789
  1

• Absorbtion is not invariant to order of args.

  #112 opened 2 years ago by tomas789
  1

• Simpler formula produced after second simplification round

  #110 opened 2 years ago by tomas789
  2

• DeMorgan not applied in a specific case

  #109 opened 2 years ago by tomas789
  0

• Exponential blowup when normalizing

  #106 opened 2 years ago by olliemath
  0

• Incorrect SPDX identifier in boolean/__init__.py

  #99 opened 3 years ago by zyga
  2

• Rename master branch to main

  #103 opened 3 years ago by pombredanne
  0

• Is the distribution rule not applied?

  #101 opened 4 years ago by HA6Bots
  3

• Rename package to make it play well with dev tools

  #97 opened 4 years ago by fkromer
  2

• simplify doesn't work on formulas with only 0 or 1s

  #98 opened 4 years ago by suguman
  1

• Work with numbers as tokens?

  #77 opened 4 years ago by steveshi7
  7

• No sdist on PyPI

  #88 opened 4 years ago by carmenbianca
  1

• Mention installation method over AUR

  #89 opened 4 years ago by mxmehl
  0

• being able to apply expressions to boolean values

  #73 opened 7 years ago by gemerden
  11

• Boolean expressions not simplified correctly

  #92 opened 5 years ago by kevin-cfs
  4

• Allowing other characters in a token

  #86 opened 5 years ago by carpie
  1

• Simplifying "not (True and False) or True" results in '_TRUE' object is not callable

  #85 opened 5 years ago by 1v-0
  1

• implement support for XOR, XNOR, NAND operators

  #84 opened 5 years ago by cyfrost
  0

• Not able to simplify some simple expressions (eg. (0)&~((1)|(0)) )

  #82 opened 6 years ago by gabe-nasc
  1

• Inconsistent licensing

  #80 opened 6 years ago by pombredanne
  3

• get_symbols() for NOT expression

  #59 opened 7 years ago by balrok
  5

• customize TOKENS

  #74 opened 7 years ago by gemerden
  5

• Symbol.__lt__ assumes the class of some_symbol.obj implements __lt__

  #75 opened 7 years ago by gemerden
  3

• Consider dropping custom Python operators

  #71 opened 7 years ago by pombredanne
  3

• Add a `replace` method to an expression

  #66 opened 7 years ago by pombredanne
  2

• Use `tox` for unit-tests

  #67 opened 7 years ago by alisianoi
  0

• Who is using boolean.py?

  #55 opened 7 years ago by pombredanne
  4

• Fails to detect repeated operators in a single expression (e.g. a &&& b)

  #61 opened 8 years ago by ItsAshleyJ182
  3

• An alternative symbol tokenizer and lexer using an Aho-Corasick automaton

  #62 opened 8 years ago by pombredanne
  0

• "a or b c" is not a valid expression but does not raise an Exception on parsing

  #60 opened 8 years ago by pombredanne
  1

• Fix weird doc

  #54 opened 8 years ago by pombredanne
  1

• Display formulas in docs with mathjax instead of pngmath.

  #58 opened 8 years ago by bastikr
  1

• Enable Travis

  #42 opened 8 years ago by pombredanne
  8

• Normal forms fail simple examples

  #52 opened 8 years ago by jpivarski
  7

• Added default to subs() and fixed for Symbols and for TRUE/FALSE

  #49 opened 8 years ago by Kronuz
  1

• Improve parsing errors reporting

  #47 opened 8 years ago by pombredanne
  1

• Use `&` and `|` as default AND and OR operators

  #40 opened 8 years ago by pombredanne
  5

• Do not simplify by default

  #45 opened 8 years ago by pombredanne
  2

• Some identical expressions are different when parsed from a string or created from Python

  #43 opened 8 years ago by pombredanne
  4

• Remove __new__

  #33 opened 8 years ago by Kronuz
  18

• Custom representation of an expression

  #36 opened 8 years ago by pombredanne
  7

• Cannot find boolean.py on Pypi

  #44 opened 8 years ago by pombredanne
  1

• Simplify tokenizer

  #34 opened 8 years ago by Kronuz
  3

• Enable the wiki

  #31 opened 8 years ago by pombredanne
  1