Commit54bfa66

Release Manager

committed

Trac #34911: Adding class Kissat in sage/sat/solvers/dimacs.py

We add a class Kissat in sage/sat/solvers/dimacs.pyWe also use the opportunity to improve the dimacs.py file (uniformizethe classes so that they can inherit the same `__call__` method, addeddocumentation and new doctests).This is a follow up of #34909.URL:https://trac.sagemath.org/34911Reported by: slabbeTicket author(s): Sébastien LabbéReviewer(s): Andrey Belgorodski

2 parents0aa67a5 +27a3125 commit54bfa66Copy full SHA for 54bfa66

File tree

3 files changed

+279

-142

lines changed

src/sage/sat/solvers

3 files changed

+279

-142

lines changed

`‎src/sage/sat/solvers/init.py‎`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`	`1`	`from .satsolverimportSatSolver`
`2`	`2`	`from .cryptominisatimportCryptoMiniSat`
`3`	`3`
`4`		`-from .dimacsimportGlucose,GlucoseSyrup,RSat`
	`4`	`+from .dimacsimportGlucose,GlucoseSyrup,RSat,Kissat`

0 commit comments

Comments

(0)

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Commit54bfa66

File tree

3 files changed

3 files changed

`‎src/sage/sat/solvers/init.py‎`

0 commit comments

Movatterモバイル変換

Uh oh!

File tree

3 files changed

3 files changed

‎src/sage/sat/solvers/__init__.py‎

0 commit comments

`‎src/sage/sat/solvers/init.py‎`