Skip to content

Activity

Showing most recent first

in progress

audemardpushed 1 commit to alldiff • 1829eaf…d0b3947 • 
10 hours ago

separate AllDifferent Weak and BC in two classes

audemardcreated alldiff • 1829eaf • 
22 hours ago

extension neg => nogood

audemardcreated extensionneg • 629ec42 • 
6 days ago

add options in order to display problem structure

audemardpushed 1 commit to main • cc54c0c…15279fb • 
6 days ago

tructure problem almost ok

audemardpushed 1 commit to main • e46be77…cc54c0c • 
7 days ago

start a python script for structure information

audemardpushed 1 commit to main • 25d951f…e46be77 • 
7 days ago

improve propagation queue selection

audemardpushed 1 commit to main • 34ad39c…25d951f • 
7 days ago

a attempt...

audemardcreated PropagationQueue • e9d3da9 • 
8 days ago

Deleted branch

audemarddeleted noverlap • 
8 days ago

Merge pull request #25 from xcsp3team/noverlap

Pull request merge
audemardpushed 6 commits to main • 5a02b38…34ad39c • 
8 days ago

improving no overlap

audemardpushed 3 commits to noverlap • 6ba9ad8…77d10c9 • 
9 days ago

ok

audemardcreated rr-new • 4344d67 • 
9 days ago

disjunctive 2DV in progress

audemardcreated noverlap • 6ba9ad8 • 
10 days ago

Deleted branch

audemarddeleted factoryConstraints • 
10 days ago

Merge pull request #24 from xcsp3team/factoryConstraints

Pull request merge
audemardpushed 2 commits to main • 1c07d89…5a02b38 • 
10 days ago

change FactoryConstraints in namespace

audemardcreated factoryConstraints • bab9cc5 • 
12 days ago

verb=0 on optimizer

audemardpushed 1 commit to main • c42eef7…1c07d89 • 
14 days ago

version ok

audemardpushed 2 commits to main • 5aa2b74…c42eef7 • 
14 days ago

residues

audemardpushed 1 commit to restore • 94f4764…8dd9ac0 • 
on Feb 13

stick only one time

audemardpushed 1 commit to restore • f8e6acc…94f4764 • 
on Feb 13

add residues to binary with support

audemardpushed 1 commit to restore • edfd4fc…f8e6acc • 
on Feb 12

add soft restarts whe a solution is found

audemardpushed 1 commit to restore • 5071bf3…edfd4fc • 
on Feb 12

new RR

audemardpushed 1 commit to restore • 3dbb441…5071bf3 • 
on Dec 12, 2024

sumEQ to extension ok

audemardpushed 1 commit to restore • 6aee229…3dbb441 • 
on Dec 5, 2024

plein de trucs

audemardpushed 1 commit to restore • aa2644c…6aee229 • 
on Nov 29, 2024

postpone filtering for large constraints

audemardcreated restore • aa2644c • 
on Nov 28, 2024

wdeg is the default heuristic

audemardpushed 1 commit to rr • 2696a3b…6c89312 • 
on Nov 12, 2024

new robin for variables

audemardpushed 1 commit to rr • aa793e3…2696a3b • 
on Oct 25, 2024

RR ok

audemardpushed 1 commit to rr • 7cbd653…aa793e3 • 
on Oct 25, 2024

RR in progress

audemardpushed 1 commit to rr • 117dd3b…7cbd653 • 
on Oct 24, 2024