autoguess/installer.sh at main · hadipourh/autoguess · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
#!/bin/bash

# ==============================================
# Script: installer.sh
# Description: Automated installer for Autoguess
# Author: Hosein Hadipour
# ==============================================

set -e  # Exit on error
TOOLS_DIR="/home/tools"

echo "==> Creating tools directory at $TOOLS_DIR..."
mkdir -p "$TOOLS_DIR"
cd "$TOOLS_DIR"

# Clone Autoguess
echo "==> Cloning Autoguess repository..."
if [ ! -d "autoguess" ]; then
    git clone https://github.com/hadipourh/autoguess
else
    echo "Autoguess already cloned."
fi

# Install system prerequisites
echo "==> Installing system packages..."
apt-get update
apt-get install -y python3-dev python3-full curl graphviz wget cmake

# Install MiniZinc
echo "==> Installing MiniZinc..."
cd "$TOOLS_DIR"

if [ ! -d "MiniZinc" ]; then
    LATEST_MINIZINC_VERSION=$(curl -s https://api.github.com/repos/MiniZinc/MiniZincIDE/releases/latest | grep -oP '"tag_name": "\K(.*)(?=")')
    wget "https://github.com/MiniZinc/MiniZincIDE/releases/download/${LATEST_MINIZINC_VERSION}/MiniZincIDE-${LATEST_MINIZINC_VERSION}-bundle-linux-x86_64.tgz"

    # Extract MiniZinc bundle to MiniZinc directory
    mkdir MiniZinc
    tar -xvzf "MiniZincIDE-${LATEST_MINIZINC_VERSION}-bundle-linux-x86_64.tgz" -C MiniZinc --strip-components=1
    rm "MiniZincIDE-${LATEST_MINIZINC_VERSION}-bundle-linux-x86_64.tgz"

    # Create a wrapper script to call MiniZinc with proper LD_LIBRARY_PATH
    echo '#!/bin/bash' > /usr/local/bin/minizinc
    echo "exec env LD_LIBRARY_PATH=${TOOLS_DIR}/MiniZinc/lib:\$LD_LIBRARY_PATH ${TOOLS_DIR}/MiniZinc/bin/minizinc \"\$@\"" >> /usr/local/bin/minizinc
    chmod +x /usr/local/bin/minizinc
else
    echo "MiniZinc already installed."
fi

# Install Python packages
echo "==> Setting up Python environment and installing packages..."
apt-get install -y python3-pip
apt-get install -y python3-venv
python3 -m venv autoguess_env
source autoguess_env/bin/activate
pip install --upgrade pip setuptools wheel

pip install cython graphviz dot2tex minizinc

# Install boolector
# echo "==> Installing Boolector..."
# cd "$TOOLS_DIR"
# if [ ! -d "boolector" ]; then
#     git clone https://github.com/boolector/boolector
#     cd boolector

#     echo "==> Setting up Lingeling..."
#     ./contrib/setup-lingeling.sh

#     echo "==> Setting up BTOR2Tools..."
#     ./contrib/setup-btor2tools.sh

#     echo "==> Building Boolector..."
#     ./configure.sh && cd build && make && make install
# else
#     echo "Boolector already installed."
# fi

# Install pysat, pysmt, and z3-solver
echo "==> Installing pysat, pysmt, and z3-solver..."
pip install python-sat[pblib,aiger] pysmt z3-solver gurobipy
# pysmt-install --btor (Boolector has been archived, and its developers have officially stopped maintaining it.)

deactivate

# Install SageMath
echo "==> Installing SageMath..."
if ! command -v sage &> /dev/null; then
    apt-get install -y sagemath
else
    echo "SageMath is already installed."
fi

echo "==> Installation completed successfully."

echo
echo "📌 Reminder:"
echo "- If SageMath is already installed, update its path in config.py if needed."
echo "- To use Autoguess, activate the Python virtual environment by running:"
echo "  source $TOOLS_DIR/autoguess_env/bin/activate"