Skip to content

Releases: madvorak/vcsp

v8.0.0

13 Sep 12:05
@madvorak madvorak
v8.0.0
603a0b8
Compare
Choose a tag to compare
v8.0.0 Latest
Latest

The vcsp project now depends on the duality project.

Assets 2
Loading

v7.0.0

22 Jul 11:27
@madvorak madvorak
v7.0.0
8c5ddaa
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v7.0.0

Stable sorry-free & axiom-free version.
Farkas-like theorems were reformulated and the extended versions were generalized.

Assets 2
Loading

v6.0.0

16 Jul 16:26
@madvorak madvorak
v6.0.0
8225870
Compare
Choose a tag to compare
v6.0.0

Stable sorry-free & axiom-free version.
Strong duality theorem for LP over extended rationals was added.

Assets 2
Loading

v5.1.0

06 Jun 19:07
@madvorak madvorak
v5.1.0
13d1521
Compare
Choose a tag to compare
v5.1.0

Cleaner version of the v5 release. No new features.

Assets 2
Loading

v5.0.0

04 Jun 08:30
@madvorak madvorak
v5.0.0
0c326e4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v5.0.0

Stable sorry-free & axiom-free version.
We have several versions of Farkas but only one version of LP duality.

Assets 2
Loading

v4.0.0

30 May 15:34
@madvorak madvorak
v4.0.0
55b83d7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.0.0

Stable sorry-free version without any non-standard axioms.

Assets 2
Loading

v3.0.0

16 May 08:46
@madvorak madvorak
v3.0.0
b29ed7d
Compare
Choose a tag to compare
v3.0.0

New stable version. Farkas stuff changed mostly.

Assets 2
Loading

v2.2.0

08 May 13:22
@madvorak madvorak
v2.2.0
c5f1b4a
Compare
Choose a tag to compare
v2.2.0

Farkas for extended rationals has been added.

Assets 2
Loading

v2.1.0

09 Apr 06:52
@madvorak madvorak
v2.1.0
3ddcd77
Compare
Choose a tag to compare
v2.1.0

Only mild generalizations were added, currently of no value.

Assets 2
Loading

v2.0.0

25 Mar 15:10
@madvorak madvorak
v2.0.0
4d3dce1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v2.0.0

New stable version. Expressive power of VCSP has been replaced by inductive definition. Theorems ValuedCSP.Instance.RelaxBLP_reaches and ValuedCSP.Instance.RelaxBLP_improved_of_allSymmetricFractionalPolymorphisms have been proved.

Assets 2
Loading