evaltor 0.1.0

A tool for evaluating the evaluatees on benchmarks
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
FROM ubuntu:24.10

RUN apt-get update && \
    apt-get install -y python3 python3-setuptools libgmp-dev wget && \
    apt-get clean && \
    rm -rf /var/lib/apt/lists/*

RUN wget --quiet https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh && \
    bash miniconda.sh -b -p /usr/local/miniconda3 && \
    rm miniconda.sh

RUN /usr/local/miniconda3/bin/conda create -y -n py2 python=2.7 -c conda-forge --strict-channel-priority
RUN /usr/local/miniconda3/bin/conda install -y -n py2 -c conda-forge --strict-channel-priority future