Reorder and complete the string and file serialization methods
authorPlamen Dimitrov <plamen.dimitrov@intra2net.com>
Mon, 18 Apr 2022 01:21:27 +0000 (04:21 +0300)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Thu, 19 May 2022 09:13:27 +0000 (11:13 +0200)
commit865ff8a91a0244fcbaae8b01d28f526d66794370
tree836b37386c02175b6221b86c28b0bd412b0bf8d5
parent37d7c300f039c1904d27c51b54e90099ca7eeaac
Reorder and complete the string and file serialization methods

We were missing to_cnf_string() methods which are usually replaced
by the simple `str(Cnf(...))` but it is still better to add them
for completeness in code relying on the full mix of serialization
methods at least for the sake of syntactic consistency and thus
better readability in some particular use cases.
src/cnfvar/model.py