feat: implement a --init-search option to find the best initial state using local search
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- guides/users/README.md 75 additions, 75 deletionsguides/users/README.md
- guides/users/README.org 5 additions, 5 deletionsguides/users/README.org
- lib/algo/algo.ml 32 additions, 3 deletionslib/algo/algo.ml
- lib/algo/algo.mli 9 additions, 6 deletionslib/algo/algo.mli
- lib/sasacore/diameter.ml 6 additions, 6 deletionslib/sasacore/diameter.ml
- lib/sasacore/dune 2 additions, 2 deletionslib/sasacore/dune
- lib/sasacore/genRegister.ml 4 additions, 1 deletionlib/sasacore/genRegister.ml
- lib/sasacore/register.ml 13 additions, 1 deletionlib/sasacore/register.ml
- lib/sasacore/register.mli 7 additions, 2 deletionslib/sasacore/register.mli
- lib/sasacore/sasArg.ml 15 additions, 2 deletionslib/sasacore/sasArg.ml
- lib/sasacore/sasArg.mli 4 additions, 2 deletionslib/sasacore/sasArg.mli
- lib/sasacore/simuState.ml 53 additions, 1 deletionlib/sasacore/simuState.ml
- lib/sasacore/simuState.mli 3 additions, 1 deletionlib/sasacore/simuState.mli
- lib/sasacore/topology.mli 2 additions, 2 deletionslib/sasacore/topology.mli
- lib/sasacore/worstInit.ml 88 additions, 89 deletionslib/sasacore/worstInit.ml
Loading
Please register or sign in to comment