vcsp
General-Valued Constraint Satisfaction Problems
Displaying 1-14 of 14 versions of vcsp
Sort by
Date
- Not a part of any version track.
a07c435v8.2.017 days agoReleased on February 26, 2026 at 12:37:37PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
a07c435v8.2.017 days agoReleased on February 26, 2026 at 12:37:37PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
b212fa4v8.1.02 months agoReleased on December 31, 2025 at 5:26:18PMCommit b212fa4 builds on its old leanprover/lean4:v4.18.0v4.18.01.2 MB Build archive size: 1167884 bytes. - Not a part of any version track.
603a0b8v8.0.02 years agoReleased on September 13, 2024 at 12:02:50PMCommit 603a0b8 builds on its old leanprover/lean4:v4.11.0v4.11.01.1 MB Build archive size: 1129994 bytes. - Not a part of any version track.
8c5ddaav7.0.02 years agoReleased on July 22, 2024 at 11:23:41AMCommit 8c5ddaa builds on its old leanprover/lean4:v4.9.0v4.9.03.6 MB Build archive size: 3627198 bytes. - Not a part of any version track.
8225870v6.0.02 years agoReleased on July 16, 2024 at 4:20:15PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0 - Not a part of any version track.
13d1521v5.1.02 years agoReleased on June 6, 2024 at 4:39:56PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0 - Not a part of any version track.
0c326e4v5.0.02 years agoReleased on June 4, 2024 at 8:05:00AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
55b83d7v4.0.02 years agoReleased on May 30, 2024 at 3:31:14PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
b29ed7dv3.0.02 years agoReleased on May 16, 2024 at 8:46:13AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc1 - Not a part of any version track.
c5f1b4av2.2.02 years agoReleased on May 8, 2024 at 11:37:51AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
3ddcd77v2.1.02 years agoReleased on April 9, 2024 at 6:41:28AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
4d3dce1v2.0.02 years agoReleased on March 25, 2024 at 2:18:27PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
c7e3bcav1.0.02 years agoReleased on January 19, 2024 at 2:14:54PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.5.0-rc1