Releases · 01mf02/cop-rs · GitHub

26 Sep 11:26

v0.2.0 Latest

Latest

This release adds nonclausal proof search. Furthermore, it is basically a complete rewrite of version 0.1.

Full Changelog: v0.1.0...v0.2.0

Assets 13

meancop-v0.2.0-aarch64-unknown-linux-gnu

1.77 MB 2023-09-26T11:14:32Z
meancop-v0.2.0-arm-unknown-linux-gnueabihf

1.78 MB 2023-09-26T11:14:20Z
meancop-v0.2.0-arm-unknown-linux-musleabihf

1.91 MB 2023-09-26T11:14:26Z
meancop-v0.2.0-i686-pc-windows-msvc.exe

1.51 MB 2023-09-26T11:15:57Z
meancop-v0.2.0-i686-unknown-linux-gnu

1.84 MB 2023-09-26T11:14:24Z
meancop-v0.2.0-i686-unknown-linux-musl

1.93 MB 2023-09-26T11:14:26Z
meancop-v0.2.0-x86_64-apple-darwin

2.35 MB 2023-09-26T11:14:20Z
meancop-v0.2.0-x86_64-pc-windows-gnu.exe

8.11 MB 2023-09-26T11:15:41Z
meancop-v0.2.0-x86_64-pc-windows-msvc.exe

1.94 MB 2023-09-26T11:15:28Z
meancop-v0.2.0-x86_64-unknown-linux-gnu

1.83 MB 2023-09-26T11:14:30Z
Source code (zip)

2023-09-26T11:02:44Z
Source code (tar.gz)

2023-09-26T11:02:44Z