Skip to content

Commit

Permalink
Add files via upload
Browse files Browse the repository at this point in the history
  • Loading branch information
MatthiasNickles authored Feb 28, 2019
1 parent 62b5fcc commit 1286173
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/main/scala/delSAT.scala
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ object delSAT {

assert(!(printAnswers && enforceSanityChecks))

val version = "0.3.1"
val version = "0.3.2"

val copyrightAndVersionText = "delSAT " + version + "\nCopyright (c) 2018, 2019 Matthias Nickles\nLicense: https://github.com/MatthiasNickles/DelSAT/blob/master/LICENSE"

Expand Down

0 comments on commit 1286173

Please sign in to comment.