Skip to content

Releases: nano-byte/sat-solver

0.4.0

20 Dec 15:43

Choose a tag to compare

NuGet package

Changes

  • Improved performance
  • Removed support for .NET Framework versions before 4.6.2

0.3.2

15 Dec 14:41
e4dc270

Choose a tag to compare

  • Improved nullability annotations
  • Updated Microsoft.SourceLink.GitHub

0.3.1

10 Apr 20:26

Choose a tag to compare

Simplified CI

0.3.0

28 Mar 15:56

Choose a tag to compare

  • Renamed static Clause.AtMostOne() to Clauses.AtMostOne()
  • Added Clauses.ExactlyOne()

0.2.0

19 Jul 18:26

Choose a tag to compare

Removed support for .NET Framework versions older than 4.0

0.1.2

11 Jul 16:03

Choose a tag to compare

Update dependency NanoByte.Common to v2.4.0