pysat icon indicating copy to clipboard operation
pysat copied to clipboard

Published 20 hours ago • verified publisher icon pysathq

to_string

Open yoni206 opened this issue 2 years ago • 8 comments

It would be great to have a way of pretty-printing formulas, by providing a dictionary between the variables (numerals) and application-specific name. This is easy to do for ordinary CNF using dictionaries, but I am not sure how to do this for pseudo-Boolean constraints. This would be nice to have for debugging applications that use pysat.

yoni206 avatar Sep 11 '22 12:09 yoni206

Hi there, is there any solution to this issue?

11610197109 avatar Jul 11 '24 07:07 11610197109

Working on this, but would be ready in about 2 or 3 months, considering that I am also working on finalizing the multiplatform project which is currently in alpha.

I'll keep this issue open for discussion, but please refrain from posting comments solely asking about the release date, as such comments do not add any value.

kizitonwose avatar Jul 20 '24 09:07 kizitonwose

Now available in 2.5.3 for compose version 1.6.x and 2.6.0-beta03 [Android] | 2.6.0-alpha04 [Multiplatform] for compose version 1.7.x.

See documentation.

kizitonwose avatar Jul 27 '24 08:07 kizitonwose