Version updates for minisat (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/minisat/#2.2.1https://pkgstory.dev/homebrew-formula/minisat/#2.2.1minisat updated to 2.2.1Tue, 16 Mar 2021 01:30:47 GMThttps://pkgstory.dev/homebrew-formula/minisat/#2.2.0_2https://pkgstory.dev/homebrew-formula/minisat/#2.2.0_2minisat updated to 2.2.0_2Mon, 30 Apr 2018 22:45:31 GMThttps://pkgstory.dev/homebrew-formula/minisat/#2.2.0_1https://pkgstory.dev/homebrew-formula/minisat/#2.2.0_1minisat updated to 2.2.0_1Wed, 21 Jun 2017 09:19:20 GMThttps://pkgstory.dev/homebrew-formula/minisat/#2.2.0https://pkgstory.dev/homebrew-formula/minisat/#2.2.0minisat updated to 2.2.0Tue, 13 May 2014 18:11:51 GMT