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

Multitracing is now generic.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1896 ba638df5-4473-46d1-82f8-c...

d1656a20e51acc2124a91f6075e5ab60c2746c49 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Implemented change in modelFound()

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1895 ba638df5-4473-46d1-82f8-c...

833998dc073b047198ffaa40baea3c1bceaf9fdc authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using the RandomAccessModel interface to compute more efficiently the value of the objective function.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1894 ba638df5-4473-46d1-82f8-c...

df57dee61777ca759f7556c1fa89e5620544d9fb authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added a new interface RandomAccessModel to efficiently retrieve the truth value of a Dimacs variable.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1893 ba638df5-4473-46d1-82f8-c...

5c7134f1d16ba52e4ce687c0dd2780ca462e8787 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Making the class final to allow hotspot to optimize the bytecode.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1892 ba638df5-4473-46d1-82f8-c...

a21c0469861355424441db96969ec7e99d0a68a9 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using a SolutionFoundListener in the external iterator.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1888 ba638df5-4473-46d1-82f8-c...

b140551ca461fb6e778cc097c5e5cdc31a30bd00 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Using a single line to count the solutions.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1887 ba638df5-4473-46d1-82f8-c...

3ad79dda13c4a1ecb6b1d7bdbfd63d9597f6243f authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Prevent the solver to call model() when the problem is unsat.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1886 ba638df5-4473-46d1-82f8-c...

270726a5614968db7cd88813704df5667bb17de6 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed duplicated call to access the property all.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1885 ba638df5-4473-46d1-82f8-c...

e7ea7dbd510603841585f75f6bccbac5ca322495 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed a bug that added two constraints instead of one to discard a model while iterating solutions in the external way

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1881 ba638df5-4473-46d1-82f8-c...

644460cc3e153d0ab29401b37767622d82725a40 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
fixed toString invocation of an array

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1880 ba638df5-4473-46d1-82f8-c...

f0f492e28ce9c2a43c55399bc0278ff8630d2b50 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
added a way to process model enumeration from SAT solver in an external way (black box)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1877 ba638df5-4473-46d1-82f8-c...

ba007ca6e9ebd8f82542a6dde5d6ad6cd86d50e9 authored almost 12 years ago by lonca <lonca@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Do not use glucose based constraints deletion strategy.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1876 ba638df5-4473-46d1-82f8-c...

8cc7a3e3f502227e60ec6a03e352a63fe6313382 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue with trivial inconsistency.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1875 ba638df5-4473-46d1-82f8-c...

067b05935184db09bef1e7115c7560c46cbff557 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added log prefix to min one listener.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1874 ba638df5-4473-46d1-82f8-c...

f1f9eb1ef4acf9b38b8bb47bfd7c93736fedcaf4 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added new assertions. Improved forget() for PB constraints.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1873 ba638df5-4473-46d1-82f8-c...

014aa2f4ff16c51c0c64a92eb83cca729799d102 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Only change original variables in the model (else getting an AIOOB exception).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1872 ba638df5-4473-46d1-82f8-c...

5f7f7c541645b840c3901f154266b22472b7b9bc authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Prevents from changing the tracing (gnuplot or jchart) during the solver's run.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1871 ba638df5-4473-46d1-82f8-c...

99fbc0aac0e45d4a5f2a337d817b2084dec1ed9a authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
More complete PI management for MS.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1870 ba638df5-4473-46d1-82f8-c...

6009f11507056d74ae59b5252bcff9cbfd1d1406 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added missing call to primeImplicant.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1869 ba638df5-4473-46d1-82f8-c...

d8a8131564c265839ecd021e8d6d703f91e01429 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Another fix for SAT65.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1868 ba638df5-4473-46d1-82f8-c...

b56e3649cb4f7a3f3f14c336d9cb93fdc948ddf5 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed issue that showed up with fixing some sonar issues.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1867 ba638df5-4473-46d1-82f8-c...

8b4a82670ca2705a25f3847bbc622c6377684677 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added back missing import.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1866 ba638df5-4473-46d1-82f8-c...

a8e91fb44378128f1813b1c456f5cf0c2f06e477 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1865 ba638df5-4473-46d1-82f8-c...

0caabec4a174bc87771890ea011a203c4cd7dcb0 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1864 ba638df5-4473-46d1-82f8-c...

c09cff5bd1099c0af5577e7af2b90ad36e1cb7a6 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1863 ba638df5-4473-46d1-82f8-c...

f6afebfad9d4c7d7500615af6ffc043bf245349f authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1862 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

fb307fb53b0a7573bd2c1aa530b3d5b57874cbe8 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1861 ba638df5-4473-46d1-82f8-c...

35ce11ff2c0c1e154e6cc3eed6e857b4e83f63fa authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1860 ba638df5-4473-46d1-82f8-c...

4461e012a86449c1216eefb0e7d2545c745ae80a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed unused import problem (the the class was appearing non qualified in the javadoc).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1859 ba638df5-4473-46d1-82f8-c...

c6fdaf0b71c83d34c48ccd9d12dc5531fb71157e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed unused import problem (the the class was appearing non qualified in the javadoc).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1858 ba638df5-4473-46d1-82f8-c...

3546440e12bc4fcb5df5d2c951dc580242103b7d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Increased a bit the timeout of those tests since the build machine is a VM, a bit slower than the previous real computer builder machine.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1857 ba638df5-4473-46d1-82f8-c...

72eca72aa58676541e529f79e0cf22a7174d6b2c authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Increased a bit the timeout of those tests since the build machine is a VM, a bit slower than the previous real computer builder machine.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1856 ba638df5-4473-46d1-82f8-c...

df249503ed6f422a8079a71034811368680611cb authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Prevent assertion error in assume().

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1855 ba638df5-4473-46d1-82f8-c...

3162b63fe6c88727381bfa336592372a50ddc346 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
potential fix for SAT65.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1854 ba638df5-4473-46d1-82f8-c...

218658c3c5830e7f274d08d1a10cc70f6d0eac66 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
unit clauses are now added to implied set of literals. fullmodel is now pointing to model if no extra variable exists.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1853 ba638df5-4473-46d1-82f8-c...

3ebe43ced361897b31c5b47f118a01c757b8bc7d authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected sonar violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1844 ba638df5-4473-46d1-82f8-c...

567e193ee008a865a33f16d64ddb7a0a9ddfde57 authored almost 12 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected sonar violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1843 ba638df5-4473-46d1-82f8-c...

198ebf0cc93b77c01dbd05712adbc09b9624c988 authored almost 12 years ago by parrain <parrain@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
[SAT-88] Removed a static call to Toolkit.getScreenSize() that was part of Bug SAT-88. Tests still have to be performed to ensure that the bug is corrected.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1842 ba638df5-4473-46d1-82f8-c...

d1d5e1071a85c004a5a659ae8021e8d5aee9d753 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected modified order violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1841 ba638df5-4473-46d1-82f8-c...

4c48c18deda672996b9f1fe92460f61ad385ad48 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected modified order violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1840 ba638df5-4473-46d1-82f8-c...

be8d4e7e9f0e0715127f28179f7201e9db2bd815 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected modified order violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1839 ba638df5-4473-46d1-82f8-c...

0c0395c586530cfa9324595b607c939167279a61 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected minor violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1838 ba638df5-4473-46d1-82f8-c...

3e80ec9970dc808b878d02e9c8c88f27567bdf4c authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected minor violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1837 ba638df5-4473-46d1-82f8-c...

9a7ced5aaf8f46e970d5c49478405343adc3f0ab authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected minor violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1836 ba638df5-4473-46d1-82f8-c...

5b459ee71e41f5e74468afbbc1129f4f89379788 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Changed method name in VisuPreferencesFrame -> should correct a major violation raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1835 ba638df5-4473-46d1-82f8-c...

b4e4a4e73758cb8c468f8b692fa41cfe898c40fd authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added default size constants to correct sonar minor violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1834 ba638df5-4473-46d1-82f8-c...

f97849912a1f2237662aabefbed9a5dd6ff8f27d authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected sonar major and minor violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1833 ba638df5-4473-46d1-82f8-c...

a53b0fba594429f20e4bcc097663e290f71bf93c authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added ILogAble reference in RestartCommandPanel and corrected major and minor violations raised by sonar.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1832 ba638df5-4473-46d1-82f8-c...

2ab1ed9c8efcfd60983f628cc0020887e638d53f authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected sonar major and minor violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1831 ba638df5-4473-46d1-82f8-c...

9e4c5e93fb48c209f22da22aef400d1265f8b98b authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected minor violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1830 ba638df5-4473-46d1-82f8-c...

c9c422ea0d43bf116a40a1e110ae74af889c177a authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected minor violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1829 ba638df5-4473-46d1-82f8-c...

b03f45f7f9402c48e221869abe52ae0ca09e2fea authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected sonar major and minor violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1828 ba638df5-4473-46d1-82f8-c...

d40b544da11f4c713119e3ac6df74b9a7ab3b57d authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected a few major and minor violations raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1827 ba638df5-4473-46d1-82f8-c...

0fd707de169805ee0c2bfff56eff76cb53cde6dc authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected sonar violations on VisuPreferencesFrame

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1826 ba638df5-4473-46d1-82f8-c...

7b691e3794fc8ce8d3c3c7e48eac6662c20f9fa6 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added @since tag.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1825 ba638df5-4473-46d1-82f8-c...

60ef2526aa4f6f12823b4df1df67e286a9e0e4af authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added javadoc. Renamed fields.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1824 ba638df5-4473-46d1-82f8-c...

0d63844bf59ec5692176e1c1810eafb95b87629a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added copyright header and javadoc.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1823 ba638df5-4473-46d1-82f8-c...

3f684443553767c0f87496deee1cb90fad8ead1a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Improved fields naming.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1822 ba638df5-4473-46d1-82f8-c...

39ea5f625b1f68be4c532976dd21aa69bfd9ae79 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced \n by %n in formatted strings.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1821 ba638df5-4473-46d1-82f8-c...

6c0038880133531fe1dab10c7bdfc0a6b2ca9ac3 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced \n by %n in formatted strings.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1820 ba638df5-4473-46d1-82f8-c...

0be89f70682e9f22957b38ec419740fff1920a52 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed duplicated strings and replaced \n by %n in formatted strings.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1819 ba638df5-4473-46d1-82f8-c...

90bb58ff16b4bfe86d2ddf36b7d6947afcba8e34 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced \n by %n in formatted strings.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1818 ba638df5-4473-46d1-82f8-c...

81da0e6f38dffc67023bc25e8cf2e70f825e55c8 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made CircularBuffer serializable.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1817 ba638df5-4473-46d1-82f8-c...

f1b096671c7c1a69519c46a0aa4ebc9bd88b330a authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected minor mistakes in DetailedCommandPanel

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1816 ba638df5-4473-46d1-82f8-c...

8e94de96e7dbb6a00ba9a002272fdfb50eb3b55a authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced e.printStackTrace() by logger.log(e.getMessage())

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1815 ba638df5-4473-46d1-82f8-c...

c85d036b57537969bdb158b2436f462f0c9368a7 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Renamed attributes

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1814 ba638df5-4473-46d1-82f8-c...

fb72de70b396ed5f9854145f0c9fc0ce22588fb3 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed part of errors raised by sonar for VisuPreferences class.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1813 ba638df5-4473-46d1-82f8-c...

bfffe89ceb6696147dd6eaf58b30e0246f053973 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed part of errors raised by sonar for Lanceur class.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1812 ba638df5-4473-46d1-82f8-c...

e05f96069c6de514ba29c8498ef9d29b36f1c787 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed unused attribute in Launcher

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1811 ba638df5-4473-46d1-82f8-c...

ab13debde25363cba2713a1fecbbb26817e51355 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Corrected most of the major violations of class Solvers raised by sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1810 ba638df5-4473-46d1-82f8-c...

20c4fcd9c249be56a3d033443d5a27340a86537c authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Replaced Vector with List

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1809 ba638df5-4473-46d1-82f8-c...

23d3ff22ba1059dcfa36e791ecf53afc482fcb53 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Fixed a few sonar warnings.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1808 ba638df5-4473-46d1-82f8-c...

348de052245efc322ab92c849c44a4c7e744dae8 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented-out line of code

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1807 ba638df5-4473-46d1-82f8-c...

f8ae0aa8ab3744679193b4fdf44b4cf1aaca9430 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Mofified method visibility to correct a major violation in sonar

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1806 ba638df5-4473-46d1-82f8-c...

278233cafc7e7cae204d2c71407ecb135064b217 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless public modifier.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1805 ba638df5-4473-46d1-82f8-c...

1b771a37f54fa82054d5dcc2782455ab0965aa40 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Cloned arrays in AbstractSelectorVariablesDecorator in order to correct sonar critical violation

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1804 ba638df5-4473-46d1-82f8-c...

362c17ccf7e4fefd3193b6ac6aa0523483f8e937 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added hashCode method to TraceComposite

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1803 ba638df5-4473-46d1-82f8-c...

357fbf79b974043f6952c8a77fb166882591ee43 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed useless public modifiers.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1802 ba638df5-4473-46d1-82f8-c...

c347e3d7a23ef982bd0496f20e9ab28097eb838e authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Refactoring of GnuplotBasedSolevrVisualization : extracted String constants and methods -> correction of sonar major violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1801 ba638df5-4473-46d1-82f8-c...

e378ea623a8ecbe74687a217cc74f79873e0074e authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of attributes in Launcher and RestartCommandComponent -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1800 ba638df5-4473-46d1-82f8-...

5892620f4d37e4f6e275ee7d8ff51417d3664f54 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of attributes in HighLevelXPlain and XPlain -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1799 ba638df5-4473-46d1-82f8-...

e62fcd2c49074847aa13ef9bd7e23b4e0312ebca authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of attributes in GroupClauseSelectorSolver -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1798 ba638df5-4473-46d1-82f8-...

f125098bd25a6707c5c4c8adcea408e5a12a7fff authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of attributes in Lanceur -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1797 ba638df5-4473-46d1-82f8-...

2f6cbfe048a74b9715e5a2c26a1ba8272f2cd198 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added braces around if statements.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1796 ba638df5-4473-46d1-82f8-c...

adf0be7914d65d68b1559b8ba396c34b3318ff15 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of attributes in FullClauseSelector -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1795 ba638df5-4473-46d1-82f8-...

ac97e66983b8a6f0dd69ba9f6534dcad6fa83d25 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Modified visibility of attributes in AbstractVariableSelector -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1794 ba638df5-4473-46d1-82f8-...

8b67fdce7bd4266f886b84157d8a89c0f05aa577 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added braces around if statements.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1793 ba638df5-4473-46d1-82f8-c...

98ef3e266505aa6f79c9c9382536deb5e5811485 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added braces around if statements.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1792 ba638df5-4473-46d1-82f8-c...

e03ae179ad6ef4fd26c74540f721fff365badc60 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented-out lines of code and added braces around if-else statements -> correction of sonar major violations

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1791 ba638df5-4473-46d1-82f8-c...

1092e05121b13f15e2877bef688cc2fc2cd470e2 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Added braces around else statements -> correction of sonar major violation

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1790 ba638df5-4473-46d1-82f8-c...

2e3121a712faeb3b92667e52e83f8d8862eecff6 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed AllMusesOnePass that should not have been commited during last commit...

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1789 ba638df5-4473-46d1-82f8-c...

217398b8191262bd1c1f42fc5a60afe77922913b authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented-out lines of code for package tools. This should fix some of sonar major violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1788 ba638df5-4473-46d1-82f8-c...

f35533bcf966c385bebdc120d3ddaa1bd6eb7c6f authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed commented-out lines of code in sat package. This should fix sonar major violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1787 ba638df5-4473-46d1-82f8-c...

18a61b470dabb9c949d1dcdab8ce045be2d8e15a authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Should fix sonar critical violation

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1786 ba638df5-4473-46d1-82f8-c...

12a8c7e058428c5fe4f7781c085184d2454ea253 authored almost 12 years ago by sroussel <sroussel@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Made IVisualizationTool serializable. Removed useless public modifiers.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1785 ba638df5-4473-46d1-82f8-c...

68c429bdc50d86552a0cf71fabb8015b246c2539 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant Exception.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1784 ba638df5-4473-46d1-82f8-c...

f5ba8930d3a13182cb36336e5a9ba5207ef7aec4 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant Exception.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1783 ba638df5-4473-46d1-82f8-c...

40d9befff62d31df88c7605e2d6ff19d4a83fce0 authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant Exception.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1782 ba638df5-4473-46d1-82f8-c...

30496aec34c512279f7257cdd6a2abcf05a4d8ca authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>
Removed redundant Exception.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1781 ba638df5-4473-46d1-82f8-c...

cbbd152fce6fc02b0004b71284f532510aa687fe authored almost 12 years ago by leberre <leberre@ba638df5-4473-46d1-82f8-c3ae2a17a6e1>