A distributed sat solver implemented in c.
The .env file is used by the docker/docker.sh bash script to build the docker image and run the container.
To create the .env file, use the template in the sample_dot_env file, or rename it to .env.
$ chmod +x ./docker/docker.sh$ cd docker/ && ./docker.sh build && cd ..$ ./docker/docker.sh run
root@e698a84bf24c:/dsat#root@e698a84bf24c:/dsat# make
rm -rf out/*
gcc -pedantic -std=gnu99 -Wall -fsanitize=address -lrt -pthread -I./src/include -o out/app src/app.c src/utils.c src/shmADT.c src/dispatcherADT.c
gcc -pedantic -std=gnu99 -Wall -fsanitize=address -lrt -pthread -I./src/include -o out/slave src/slave.c src/utils.c
gcc -pedantic -std=gnu99 -Wall -fsanitize=address -lrt -pthread -I./src/include -o out/view src/view.c src/utils.c src/shmADT.c src/dispatcherADT.croot@e698a84bf24c:/dsat# out/app $(DIRECTORIES) &
<info>
root@e698a84bf24c:/dsat# out/view <info>where one must input manually the <info> provided by the app program.
root@e698a84bf24c:/dsat# out/app $(DIRECTORIES) | out/viewwhere DIRECTORIES are all the relative paths to the .cnf files.
For more information about the use of the docker container and makefile read docker and makefile
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent