Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add pycosat as an optional dependency. #17440

Merged
merged 23 commits into from Aug 22, 2019
Merged
Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
7a28684
Add a Pycosat wrapper
certik Oct 20, 2013
14107f3
Allow to use pycosat
certik Oct 20, 2013
043ec88
Benchmark dpll2 and pycosat
certik Oct 20, 2013
497015d
Fix merge conflicts
debugger22 Aug 12, 2015
4e71126
Enable pycosat by default when installed
debugger22 Aug 12, 2015
6920e7f
Add the feature for all_models using pycosat
debugger22 Aug 12, 2015
3430c27
Fix some failing tests
debugger22 Aug 12, 2015
2038ea2
Remove benchmark file as benchmarks have been moved to other repo
debugger22 Aug 13, 2015
5797a10
Enabled exclusive tests for pycosat in the test matrix
debugger22 Aug 13, 2015
2087c9d
return a generator function
debugger22 Aug 18, 2015
5295179
Merge pycosat tests with matplotlib tests in Travis CI matrix
debugger22 Aug 19, 2015
09732cc
Convert clauses to list
debugger22 Aug 19, 2015
3a3f631
Remove the map list and update the .travis.yml for latest pycosat
debugger22 Aug 21, 2015
28fdd99
Enable testing of logic module in the respective block
debugger22 Aug 21, 2015
9de745c
Merge branch 'master' into pycosat
debugger22 Aug 23, 2015
908666d
Updated code according to present requirements
ShubhamKJha Aug 17, 2019
9c38328
Updated pycosat_satisfiable to return a generator object compatible w…
ShubhamKJha Aug 17, 2019
ecfb27c
Merge branch 'master' into pycosat
ShubhamKJha Aug 17, 2019
a9c305c
Added tests for optional dependency of pycosat and added ImportError …
ShubhamKJha Aug 21, 2019
5688c89
Added tests for optional dependency of pycosat
ShubhamKJha Aug 21, 2019
c81750b
minor fixes
ShubhamKJha Aug 21, 2019
c1aca37
Merge branch 'master' into pycosat
ShubhamKJha Aug 21, 2019
2d70eb5
Added tests for optional dependency (pycosat) as suggested
ShubhamKJha Aug 22, 2019
File filter...
Filter file types
Jump to…
Jump to file or symbol
Failed to load files and symbols.

Always

Just for now

Merge branch 'master' into pycosat

  • Loading branch information...
ShubhamKJha committed Aug 17, 2019
commit ecfb27ccc60d3a53c65207380bc20520667b22f1
@@ -78,7 +78,7 @@ matrix:
# and we aren't actually using the Travis Python anyway.
env:
- TEST_ASCII="true"
- TEST_OPT_DEPENDENCY="numpy scipy gmpy2 matplotlib theano llvmlite autowrap cython wurlitzer python-symengine=0.3.* tensorflow numexpr ipython antlr-python-runtime>=4.7,<4.8 antlr>=4.7,<4.8 cloudpickle pyglet pycosat"
- TEST_OPT_DEPENDENCY="numpy scipy gmpy2 matplotlib theano llvmlite autowrap cython wurlitzer python-symengine=0.3.* tensorflow numexpr ipython antlr-python-runtime>=4.7,<4.8 antlr>=4.7,<4.8 cloudpickle pyglet pycosat lfortran"
- TEST_SAGE="true"
addons:
apt:
You are viewing a condensed version of this merge commit. You can view the full changes here.
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.