Search results

Measure of decisions

Status: Open.

#168 In jix/varisat;

· felixberliner1 opened on Sep 15, 2024

Add Crates.io Tags

Status: Open.

#162 In jix/varisat;

· RedlineTriad opened on Sep 17, 2020

Solving timeout

enhancementNew feature or requestNew feature or request

Status: Open.

#111 In jix/varisat;

· tsionyx opened on Aug 21, 2019

Provide some examples of varisat usage (as a library)

documentationThis issue is about the documentationThis issue is about the documentation

Status: Open.

#105 In jix/varisat;

· dralley opened on Aug 14, 2019

Document variable sampling modes

documentationThis issue is about the documentationThis issue is about the documentation

Status: Open.

#67 In jix/varisat;

· jix opened on May 29, 2019

Document solver configuration

documentationThis issue is about the documentationThis issue is about the documentation

Status: Open.

#56 In jix/varisat;

· jix opened on May 18, 2019

Define and implement a stable proof format for verified checking

enhancementNew feature or requestNew feature or request

Status: Open.

#43 In jix/varisat;

· jix opened on May 14, 2019

Test the command line interface

testingTest coverage needs to be improvedTest coverage needs to be improved

Status: Open.

#41 In jix/varisat;

· jix opened on May 11, 2019

Data logging and visualization

enhancementNew feature or requestNew feature or request

Status: Open.

#38 In jix/varisat;

· jix opened on May 10, 2019

Compiling to WASM and js/typescript bindings

enhancementNew feature or requestNew feature or request

Status: Open.

#37 In jix/varisat;

· jix opened on May 10, 2019

Python bindings

enhancementNew feature or requestNew feature or request

Status: Open.

#36 In jix/varisat;

· jix opened on May 10, 2019

Rate limit simplification

enhancementNew feature or requestNew feature or request

Status: Open.

#33 In jix/varisat;

· jix opened on May 10, 2019