evaltor 0.1.0

A tool for evaluating the evaluatees on benchmarks
Documentation 
1
2
3
4
5
6
7
8
9

FROM ubuntu:24.10

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

COPY target/release/evaltor /usr/local/bin
ENTRYPOINT ["evaltor"]