Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2022

• Version bump for pypi deploy

  haz

  authored
  d7be8fe

• Adding pypi action.

  haz

  authored
  34026e4

• Version bump

  haz

  authored
  e29069c

Commits on Dec 12, 2022

• Merge pull request #29 from QuMuLab/simplify-tautologies

  Show description for 034112a
  haz

  authored
  034112a

• Adding documentation for the new to_CNF parameter.

  haz

  committed
  a025fdd

• Update nnf/tseitin.py

  Show description for 4a63b50
  

  haz

  and

  blyxxyz

  authored
  4a63b50

Commits on Dec 10, 2022

• Refactor the parameter name.

  haz

  committed
  279052b

Commits on Dec 9, 2022

• Adding extra test for name preservation, and fixed bug for bottom clauses.

  haz

  committed
  21ff041

• Some mypy fixes.

  haz

  committed
  1523e8a

• Reducing line length.

  haz

  committed
  207074a

• Adding option to avoid simplification in conversion to CNF.

  haz

  committed
  e8dee23

Commits on Nov 23, 2021

• Merge pull request #27 from beckydvn/add-implication-remove-nesting

  Show description for c2e81fd
  haz

  authored
  c2e81fd

Commits on Oct 25, 2021

• Update test_nnf.py config settings

  Show description for 8177ae2
  

  beckydvn

  and

  blyxxyz

  authored
  8177ae2

Commits on Oct 23, 2021

• fix flake8

  

  beckydvn

  committed
  ed31611

Commits on Sep 27, 2021

• make requested changes

  

  beckydvn

  committed
  202efb7

Commits on Sep 22, 2021

• remove old function

  

  beckydvn

  committed
  ddcfe8a

• optionally remove nesting when operator is used

  

  beckydvn

  committed
  40e2033

• add to imports

  

  beckydvn

  committed
  627bcec

• remove recursion so only 1 level is flattened

  

  beckydvn

  committed
  77b641a

Commits on Sep 21, 2021

• clean up

  

  beckydvn

  committed
  eafb02d

• update children recursively, simplify algorithm

  

  beckydvn

  committed
  273ffbd

• remove extra testing

  

  beckydvn

  committed
  1009a3b

• make operator type the type of the current nnf

  

  beckydvn

  committed
  182dcd7

• flatten add children bug fix

  

  beckydvn

  committed
  98e22b1

• add flatten to __all__

  

  beckydvn

  committed
  667a886

• convert to flatten function

  

  beckydvn

  committed
  af2d101

Commits on Sep 19, 2021

• allow for two And's to be joined

  

  beckydvn

  committed
  d3dc209

• fix nesting issue

  

  beckydvn

  committed
  cc7e5ad

• add docs

  

  beckydvn

  committed
  56037e0

• add __rshift__

  

  beckydvn

  committed
  6404074

Commits on Dec 11, 2020

• Update DSHARP links

  Show description for cf9c6b3
  blyxxyz

  committed
  cf9c6b3

Commits on Sep 16, 2020

• Email fix.

  haz

  committed
  213524c

• Version bump.

  haz

  committed
  75142d9

Commits on Aug 30, 2020

• Merge pull request #22 from QuMuLab/smarter-tseitin

  Show description for e2d554d
  haz

  authored
  e2d554d

Commits on Aug 29, 2020

• Create fewer auxiliary variables when converting to CNF

  Show description for 339f3e6
  blyxxyz

  committed
  339f3e6

Pagination

PreviousNext