PySAT: a Python toolkit for prototyping with SAT oracles (Q1656601): Difference between revisions

@@ Property / author @@
-João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
-Normal rank
@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Graphviz
@@ Property / describes a project that uses: Graphviz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Python
@@ Property / describes a project that uses: Python / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SciPy
@@ Property / describes a project that uses: SciPy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pandas
@@ Property / describes a project that uses: pandas / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PyPI
@@ Property / describes a project that uses: PyPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gurobi
@@ Property / describes a project that uses: Gurobi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NumPy
@@ Property / describes a project that uses: NumPy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NetworkX
@@ Property / describes a project that uses: NetworkX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matplotlib
@@ Property / describes a project that uses: Matplotlib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plingeling
@@ Property / describes a project that uses: Plingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scikit
@@ Property / describes a project that uses: Scikit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PBLib
@@ Property / describes a project that uses: PBLib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Glucose
@@ Property / describes a project that uses: Glucose / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PyTorch
@@ Property / describes a project that uses: PyTorch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pylgl
@@ Property / describes a project that uses: pylgl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiFuMax
@@ Property / describes a project that uses: MiFuMax / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PyMiniSolvers
@@ Property / describes a project that uses: PyMiniSolvers / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATisPy
@@ Property / describes a project that uses: SATisPy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-94144-8_26
+Normal rank
@@ Property / OpenAlex ID @@
+W2809729522
@@ Property / OpenAlex ID: W2809729522 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1656601