Skip to content

Releases: SpacialCircumstances/picosat

965.1 - Fixed, crossplatform version

03 May 12:03
@SpacialCircumstances SpacialCircumstances
965.1
ec9d694
Compare
Choose a tag to compare
965.1 - Fixed, crossplatform version Latest
Latest
  • Changed build system to CMake
  • Made building on Windows possible
  • Support running on Windows (without cygwin) by reimplementing Unix-dependent functionality
  • Implemented runtime statistics
Assets 3
Loading

965 - Original PicoSAT source code

03 May 12:02
@SpacialCircumstances SpacialCircumstances
965
b397c46
Compare
Choose a tag to compare
965 - Original PicoSAT source code

Original PicoSAT source code

Assets 2
Loading