Deleted target/.gitkeep, target/README.md,...

Deleted target/.gitkeep, target/README.md, target/skypattern-1-jar-with-dependencies.jar, data/.gitkeep, data/aij.dat, data/aij.val0 files

data/aij.dat

-2 5 6
-2 3 4
-1 5 6
-1 2 3 4 5 
-2 3 4 5 
-2 3 4 5 6
-1 2 3 4 5 6

data/aij.val0

-0.30
-0.40
-0.10
-0.40
-0.70
-0.50

target/README.md

-# Command line
-
-Two subcommands are available :
-
-- cpsky : to use CP+SKY
-- closedsky : to use ClosedSky global constraint
-
-Two options are required :
-
-- **-d** : specify the path of the dataset
-- **-m** : specify the pattern measures to use, the following ones are available : l (length), f (frequency), a (area), g (growth-rate)
-
-By default, the dataset is in binary format (i.e. it is a matrix M where M[i,j] = 1 if transaction i contains item j, 0 otherwise). If you want to use transactional format instead, you must specify the option **--dat**.
-
-To use attribute measures, you can specify the option **-v**, the following ones are available : m (min), M (max), n (mean), u (sum).
-
-You can get three types of patterns, by specifying the option **--pt** :
-
-- closed skypatterns : **closedsky** (default)
-- skypatterns : **sky** (not available with closedsky subcommand)
-- closed patterns : **closed**
-
-If classes of transactions should not be taken into account, you can specify the option **--nc**. For instance, the dataset BMS1.dat has no classes.
-
-To print the results, two options are available : **-p** to simply print the skypatterns and **--fp** to print the skypatterns in a fancy way. If you want to get statistics about the search (i.e. number of nodes/fails/candidate patterns, time to find all the solutions...), you can use the option **-s**.
-
-If you want a visualization of the search tree, you can specify the option **--trace** with path of a dot file. This dot file can be converted to a graphviz graph.
-
-The option **--json** is used to specify path of a json file which will be used to store the skypatterns and details about the search.
-
-If you want to limit the time of search, you can use the option **--tl** with the time limit of the search. The state of a stopped search (time limit is reached without completing the search) will be STOPPED while the state of a complete search will be TERMINATED.
-
-Different strategies can be used to branch on the next item variable. The following ones are available :
-
-- occ : it chooses the not instanciated variable with the greatest number of not-entailed propagators (default for CP+SKY)
-- (min|max)freq : it chooses the not instanciated variable with the lowest (resp. greatest) frequency (minfreq is the default for ClosedSky)
-- (min|max)val : it chooses the not instanciated variable with the lowest (resp. greatest) val0
-- (min|max)norm : it normalises item frequency and values between 0 and 1, compute average between them and chooses the not instanciated variable with the lowest (resp. greatest) average value
-- inpord : it chooses variable with respect to their order
-
- You can specify the strategy to branch on item variables with the option **--str**. The value selector strategy is to instanciate variables to their lower bounds (i.e. the first time, the variable is instanciated to 0).
-
-The option **--cst** can be used to specify another constraints such as a minimum frequency or a minimum length. For insance, **--cst fmin=5 --cst lmin=2** requires the pattern to have a minimum frequency of 5 and a minimum length of 2 (with closedsky, you can only specify a minimal frequency).
-
-For the subcommand closedsky, another option is available : **--bst** to specify the type of bitset to use. You can use either a sparse bitset (**--bst sparse**, default) or a classic one (**--bst classic**).
-
-# Examples
-
-In the following, **sky** is a shortcut for **java -jar target/skypattern-1-jar-with-dependencies.jar $*** .
-
-**./sky cpsky -d data/zoo.txt -m fa -v nm --pt sky -s -p** : all skypatterns for the dataset zoo for measures **{freq(x), area(x), mean(x.val0), min(x.val1)}**, printing the skypatterns and search stats (/!\\ the data folder must contain files named zoo.val0 and zoo.val1 with the values of each item).
-
-**./sky closedsky -d data/abalone.txt -m fag --fp --json /home/user/res.json --str minfreq** : all closed skypatterns for the dataset abalone for measures **{freq(x), area(x), growthRate(x)}**, fancy printing the skypatterns and save the result in json format in /home/user/res.json. The search strategy is specified to branch on variables with the lowest frequency.
-
-**./sky closedsky -d data/BMS1.dat -dat -m fa --nc -p --tl 2000s --trace /home/user/tree.dot** : all closed skypatterns for the dataset BMS1 in a transactional format for measures **{freq(x), area(x)}**, without taking into account classes of transactions, printing the skypatterns. The search time is limited to 2000s, it will automatically stop the search when the limit is reached. The search tree will be saved in graphviz format in a file /home/user/tree.dot.
-