vaibhavkarve normal-form issues

vaibhavkarve / normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

https://vaibhavkarve.github.io/normal-form/

GNU General Public License v3.0

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump gitpython from 3.1.27 to 3.1.30

#25 dependabot[bot] closed 1 year ago
1
Bump pymdown-extensions from 9.5 to 10.0

#24 dependabot[bot] closed 1 year ago
1
Bump requests from 2.28.1 to 2.31.0

#23 dependabot[bot] closed 1 year ago
1
Bump certifi from 2022.9.24 to 2022.12.7

#22 dependabot[bot] closed 1 year ago
0
Add a quick-start guide for new users

#21 vaibhavkarve closed 2 years ago
1
Get a DOI for normal-form project repo

#20 vaibhavkarve opened 2 years ago
0
Add a quickstart section to the documentation for new users of the package

#19 vaibhavkarve opened 2 years ago
0
Add contact info, contribution guidelines, citation help etc.

#18 vaibhavkarve opened 2 years ago
0
Make normal-form a sagemath package

#15 vaibhavkarve opened 2 years ago
0
CICD pipeline broken

#14 vaibhavkarve closed 2 years ago
0
Continue ... adding status badges to repo readme from #11

#13 vaibhavkarve opened 2 years ago
1
Add package to PyPI

#12 vaibhavkarve closed 2 years ago
1
Add status badges to the repo

#11 vaibhavkarve closed 2 years ago
0
Test job failing in pipeline

#10 vaibhavkarve closed 2 years ago
0
Make CI/CD pipeline faster

#9 vaibhavkarve opened 2 years ago
0
Fix all issues reported by the linter

#8 vaibhavkarve opened 2 years ago
0
Pipeline failing

#7 vaibhavkarve closed 2 years ago
1
Fix failing test as reported in #4

#6 vaibhavkarve closed 2 years ago
0
Add tooling for website

#5 vaibhavkarve closed 2 years ago
1
Failing test: test_SatSxpr

#4 vaibhavkarve closed 2 years ago
0
Resolve failing test: test_reduce_cnf

#3 vaibhavkarve closed 2 years ago
0
Resolve failing test: test_reduce_cnf

#2 vaibhavkarve closed 2 years ago
0
Add a CI action for linting and testing the project

#1 vaibhavkarve closed 2 years ago
0