Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/QuiltMC/quilt-loader-sat4j
https://github.com/QuiltMC/quilt-loader-sat4j
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1580 ba638df5-4473-46d1-82f8-c...
adc1c04452c3f52bfb5dcbfcea1760045072cfc1 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1579 ba638df5-4473-46d1-82f8-c...
4732c0a75e00d9c40ec6da9d6ae86ca60012238e authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1578 ba638df5-4473-46d1-82f8-c...
5ffda6b45e3269c0f6cf20113f124defd3763043 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1577 ba638df5-4473-46d1-82f8-c...
9fc11e95651fb647c48f06ef8755ff1541324467 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1576 ba638df5-4473-46d1-82f8-c...
6bf9cfb657357570ea11ad1b5b0e804ba4987e64 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1575 ba638df5-4473-46d1-82f8-c...
9db57daaaab52aebfb033feaf3644f7cdee35584 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1574 ba638df5-4473-46d1-82f8-c...
36bb3015bff3c58a23f80137fce085738ef3c7ff authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>Corrected a minor error in result display in isSat
git-svn-id: svn+ssh://svn.forge.ow2.org/svnro...
f0ad24ad5acb30f964fe61d05e3f9684801991b1 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1572 ba638df5-4473-46d1-82f8-c...
d819bc137d3c130e890bf98a50d41e510e1f6611 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1571 ba638df5-4473-46d1-82f8-c...
0571d6c8a872ff285d039713630a24c970f5acb8 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1570 ba638df5-4473-46d1-82f8-c...
4fe4e4a8fc7dd8f1564e456f39560c8253e73381 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1569 ba638df5-4473-46d1-82f8-c...
9a159ec3ec5503fa2a20974d24a677e39630f896 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1568 ba638df5-4473-46d1-82f8-c...
96ed5ca3a109e70aeb5b2b06aaf452dae17a97f2 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1567 ba638df5-4473-46d1-82f8-c...
bfd01a95429d12801891f18131221efb4ec6027b authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1566 ba638df5-4473-46d1-82f8-c...
45f4a829f5a7bf803dbeb630e21e999516de59ab authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1565 ba638df5-4473-46d1-82f8-c...
42f45c4ac5e992489a4b1ac27634216b284d67a2 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1564 ba638df5-4473-46d1-82f8-c...
1852ef3abea49b994f71bd5d00377ca8d17511d9 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1563 ba638df5-4473-46d1-82f8-c...
ffa5e42be5be19a7f4bad53afaaacc16a6df8d61 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1562 ba638df5-4473-46d1-82f8-c...
f2fcf98de407a793640f26ff3ce0bdfd32918b89 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1561 ba638df5-4473-46d1-82f8-c...
7e5ec9c09a94f46deda393309a93de4a4ecce672 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1560 ba638df5-4473-46d1-82f8-c...
1deb44214feb48be5009956edd573e64725edf19 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1559 ba638df5-4473-46d1-82f8-c...
9a5d1fbbdc2406c44cc5b8e5999fb26128772e64 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1558 ba638df5-4473-46d1-82f8-c...
bb425be34225aabfe5ada23601fe56d6773c8709 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1557 ba638df5-4473-46d1-82f8-c...
bd1f9f08f3e2a32ea74879e77b302f5767468c94 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1556 ba638df5-4473-46d1-82f8-c...
54ace05c7b44a605cd5f632acc39ba1088d565a6 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1555 ba638df5-4473-46d1-82f8-c...
070ef7a7749249fb68f2d36b6f02ca8403a57410 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1554 ba638df5-4473-46d1-82f8-c...
93a3a57fbc0d1d7a6d0dc15b0e61c6be6ae68c77 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1553 ba638df5-4473-46d1-82f8-c...
99308df685be7c35f7ad16e8669eb96cbfb477ed authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1552 ba638df5-4473-46d1-82f8-c...
d65a87a60a7d3671c6087d13b22d905d4c982e83 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1551 ba638df5-4473-46d1-82f8-c...
4085fd36322d2123f4ed85d61315672c85757734 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1550 ba638df5-4473-46d1-82f8-c...
a757fe1bf96d867bc68493cf5b3d28afafecc679 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1549 ba638df5-4473-46d1-82f8-c...
8a7247c147873a8dcca5b1452f8cb94d8f62acc0 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1548 ba638df5-4473-46d1-82f8-c...
91dabeace16c7944f3474e9bd15ef3c52fe797bc authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1547 ba638df5-4473-46d1-82f8-c...
25b58a891941dfce1318dd32cd12aca95187f966 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1546 ba638df5-4473-46d1-82f8-c...
943d63221fae16d4f69ce31f0c2140b124316c42 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1545 ba638df5-4473-46d1-82f8-c...
c9162509334a864fbda7178e4951a152d897b333 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1544 ba638df5-4473-46d1-82f8-c...
f4757384237018d70f674bdf0720cbedc5802216 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1543 ba638df5-4473-46d1-82f8-c...
2377015e2607569584d50d66b1b454df761a3ecf authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1542 ba638df5-4473-46d1-82f8-c...
47c540857469f18d9e5c900f5d311ebdb6f07bdf authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1541 ba638df5-4473-46d1-82f8-c...
049fa1df55178ff345215eb048fc291264522a0e authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1540 ba638df5-4473-46d1-82f8-c...
224a6caaa7251654d323c97532ccb2154cf3abec authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1539 ba638df5-4473-46d1-82f8-c...
618e226972fb634a3534fd35ccb91f38e8981abe authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1538 ba638df5-4473-46d1-82f8-c...
560d0c0418f0a59fd8a2e81d640118cf0fd45657 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1537 ba638df5-4473-46d1-82f8-c...
9e9df593fb5367397589790346e04cfccea5b889 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>3f2be095c8d8d5dd941d9b01c0a65e4f9eb9be0b authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1535 ba638df5-4473-46d1-82f8-c...
63ca25342c6bf9c6574fac90d743543e89d93310 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1534 ba638df5-4473-46d1-82f8-c...
2851a0734d4384b85f682fbe3dbd360e4b95374c authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1533 ba638df5-4473-46d1-82f8-c...
e19a83bd058d3a5e3fa5e8dd4c5d5cc7b1301d70 authored about 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1532 ba638df5-4473-46d1-82f8-c...
c8ebaaf247e3ca11629ad557d2dbed2ab63a18d0 authored about 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1531 ba638df5-4473-46d1-82f8-c...
bd8600e51ca6227479b3f94e22174be460d456d7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1530 ba638df5-4473-46d1-82f8-c...
960662961d884cf920e7b9a65380232981cd8f4d authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1529 ba638df5-4473-46d1-82f8-c...
ae89b723beea086b865f03e16d356898dc9b9e59 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1528 ba638df5-4473-46d1-82f8-c...
f59f01a650b58a033ee38d1cfe2ecd59ed936f3a authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1527 ba638df5-4473-46d1-82f8-c...
0f3b54d0eb6919870f70c7f7a595c0a6cb2673b5 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1526 ba638df5-4473-46d1-82f8-c...
3ba13b0f8fa4eb2ad671c743ff0eb1656cd63ce4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1525 ba638df5-4473-46d1-82f8-c...
1979ea17c24d64af1ee0fad589e506545e62ddf6 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1524 ba638df5-4473-46d1-82f8-c...
4bf556f5b2b3d294508bc8ac273ad79c2dc6f7b4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1523 ba638df5-4473-46d1-82f8-c...
1bedfa8aeb9886a146d5d7a7c88517615f93edd7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1522 ba638df5-4473-46d1-82f8-c...
28bafa4f6f16841f543a37a8934da5df513149c0 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1521 ba638df5-4473-46d1-82f8-c...
e72a9316acb8fc3266d53885bfc11765ab6a6acd authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>Made it the default solver.
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@15...
c1ba5918cdeea2e6111623e4d5c0fefab17eef3f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1519 ba638df5-4473-46d1-82f8-c...
28d5aa80cdee8e5d73e943b0958aa1fa861dabd4 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1518 ba638df5-4473-46d1-82f8-c...
7188adade45af5d938e6048d0ef70c38a1ce5e3b authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1517 ba638df5-4473-46d1-82f8-c...
cc686e87b758c006325cd3ec24dade521aee5f82 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1516 ba638df5-4473-46d1-82f8-c...
3feb4685b3c5aea3da1ab373b04f4cbc5dae6e80 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1515 ba638df5-4473-46d1-82f8-c...
db69a9a7e9dc7216bd8411eb06167be053b0a7f7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1514 ba638df5-4473-46d1-82f8-c...
cbe6f4aa66d3923735704f4a2c41ff8553f5a474 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1513 ba638df5-4473-46d1-82f8-c...
cd60100d092ee60034f57d04c1e4404ec7039a47 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1512 ba638df5-4473-46d1-82f8-c...
e5b1d152b4a5a67e5af700d6fd99c7c68c6771b5 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1511 ba638df5-4473-46d1-82f8-c...
8b367a22e80cb13ef1d70596451f7d37e3216e79 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1510 ba638df5-4473-46d1-82f8-c...
015ef6be2394da0b8057924f67e5d4c2d5443432 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1509 ba638df5-4473-46d1-82f8-c...
e6d76d85afa441c8fea9725ed5003d35d8f5df1c authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1508 ba638df5-4473-46d1-82f8-c...
ad6391604d7129c99c9533b867e2d925bb3e5b04 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1507 ba638df5-4473-46d1-82f8-c...
b47272989799ade7b0c32117a3c9f2bdc7d4a198 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1506 ba638df5-4473-46d1-82f8-c...
1ca15051f38fa38a693398f05c5d686902094261 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1505 ba638df5-4473-46d1-82f8-c...
9e182bea432de4e87df7ee95511af5f811cd411e authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>Improved remote look
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1504 ba63...
fb02da05795394438d8bdfbbf511fd890a73f29a authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1503 ba638df5-4473-46d1-82f8-c...
2d77a8ba9db08e3e4b20be3f88555ce4999e952c authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1502 ba638df5-4473-46d1-82f8-c...
b357f026fb6672f20bdf7242e6720cf7a9315cfe authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1501 ba638df5-4473-46d1-82f8-c...
1c8c24b03c6f8db65ac5d4aeb3bef79bcd17d7e7 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1500 ba638df5-4473-46d1-82f8-c...
0a8dcb1c04b65bd0d6d548d1cef34dc6c44e0c78 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1499 ba638df5-4473-46d1-82f8-c...
165a805183f1be92af3b22804ea3562221cada21 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1498 ba638df5-4473-46d1-82f8-c...
13a4c3af2502a07d8777587541a6eaca9400f466 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1497 ba638df5-4473-46d1-82f8-c...
f68d44e6b1cb3f458ec24261a121470998ec3344 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1496 ba638df5-4473-46d1-82f8-c...
1c1d2380b4e7fed5393b96b7cd40085feae16c3b authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1495 ba638df5-4473-46d1-82f8-c...
8143e33f2c8c3d487088489f2ace8926156cfff2 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1494 ba638df5-4473-46d1-82f8-c...
47e264a6855cc9725c1458196045b786fc05daa8 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1493 ba638df5-4473-46d1-82f8-c...
c199bc5bc5b60d32405887a5aadc5932a63f25c3 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1492 ba638df5-4473-46d1-82f8-c...
5c39ce5371e26ab6413dcf89fc7c4b8995100e35 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1491 ba638df5-4473-46d1-82f8-c...
6d660dd38761695713b2b691b60bb6904846b463 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>The method now includes a call to LearningStrategy.setSolver(), there is no need to make that cal...
acb6a0ebe786c2190f2690c8a33a7b6139d0cc5f authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>The method now includes a call to LearningStrategy.setSolver(), there is no need to make that cal...
4b7c2ad1106d7fcf54a85a2b3da03fbf022bde98 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>3e8cdf015e93db46322e2249f78e2e0542b58818 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1487 ba638df5-4473-46d1-82f8-c...
6c639c6a479bc37c80efde819a1f897755622fb2 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1486 ba638df5-4473-46d1-82f8-c...
90a5728fe2c5f4efbf95963f7eae6ff145ea58c0 authored over 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1485 ba638df5-4473-46d1-82f8-c...
eadee1d83b630fda21dcc8e4ee5b0a4a97eb578e authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1484 ba638df5-4473-46d1-82f8-c...
312c68eb3ddaa16c973212d543f24aa1066d23fc authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1483 ba638df5-4473-46d1-82f8-c...
713897d5ecbf3962d595c9032eb219bc55dec5ab authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1482 ba638df5-4473-46d1-82f8-c...
01b5559f2814570dca162427acf01f5a27053740 authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1481 ba638df5-4473-46d1-82f8-c...
5f681ec5add0b1309d170a1716ac871519e6cc1e authored over 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>