tbuzzelli / veris Goto Github PK
View Code? Open in Web Editor NEWA comprehensive tool for judging competitive programming solutions locally given a solution file, collection of data files, and optionally a checker.
License: Apache License 2.0
A comprehensive tool for judging competitive programming solutions locally given a solution file, collection of data files, and optionally a checker.
License: Apache License 2.0
Hi Sir
Please tell how to use this project in linux based systems? Maybe adding some directions in README will be very helpful.
Thanks
Currently, the code is set up to accept custom checkers as long as they extend the com.verisjudge.checker.Checker class and are a part of the jar. However, this doesn't work well when deploying.
Some additional checkers should be added which can pull from a selected checker source file (or executable) and then compile if necessary and judge using that checker script.
Example:
Can specify problemname*.in
instead of *.in
so that if all the data for an entire set is in one folder (not separated into subfolders) Veris won't try to also run data from a different problem.
I'm running Windows 10 and I downloaded the latest JAR for Veris.
I used the following commands to run Veris:
set path="C:\Program Files\Java\jdk-11.0.2\bin"
java -jar Veris.jar
I got this error:
Graphics Device initialization failed for : d3d, sw
Error initializing QuantumRenderer: no suitable pipeline found
java.lang.RuntimeException: java.lang.RuntimeException: Error initializing QuantumRenderer: no suitable pipeline found
at com.sun.javafx.tk.quantum.QuantumRenderer.getInstance(QuantumRenderer.java:280)
at com.sun.javafx.tk.quantum.QuantumToolkit.init(QuantumToolkit.java:222)
at com.sun.javafx.tk.Toolkit.getToolkit(Toolkit.java:260)
at javafx.scene.image.Image.loadImage(Image.java:1060)
at javafx.scene.image.Image.initialize(Image.java:799)
at javafx.scene.image.Image.(Image.java:702)
at com.verisjudge.Main.(Main.java:20)
at java.base/java.lang.Class.forName0(Native Method)
at java.base/java.lang.Class.forName(Class.java:398)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:56)
Caused by: java.lang.RuntimeException: Error initializing QuantumRenderer: no suitable pipeline found
at com.sun.javafx.tk.quantum.QuantumRenderer$PipelineRunnable.init(QuantumRenderer.java:94)
at com.sun.javafx.tk.quantum.QuantumRenderer$PipelineRunnable.run(QuantumRenderer.java:124)
at java.base/java.lang.Thread.run(Thread.java:834)
Exception in thread "main" java.lang.ExceptionInInitializerError
at java.base/java.lang.Class.forName0(Native Method)
at java.base/java.lang.Class.forName(Class.java:398)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:56)
Caused by: java.lang.RuntimeException: No toolkit found
at com.sun.javafx.tk.Toolkit.getToolkit(Toolkit.java:272)
at javafx.scene.image.Image.loadImage(Image.java:1060)
at javafx.scene.image.Image.initialize(Image.java:799)
at javafx.scene.image.Image.(Image.java:702)
at com.verisjudge.Main.(Main.java:20)
... 3 more
How can I fix this?
Mispelling of "sensitive" occurs in a few files.
Have Veris detect that you're working on a Codeforces problem by:
~/Code/codeforces/817/E
Save (cache) samples in some temporary directory. Can be expanded to work on other platforms (like Kattis, etc).
Currently, my idea is just to do some web scraping, so extending it across websites would be a bit tedious, at best.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.