Search results

Make <code>rustsat-tools</code> a binary crate

Status: Open.

#335 In chrjabs/rustsat;

· chrjabs opened on Mar 30, 2025

Calling <code>reserve</code> on <code>BinaryAdder</code> does not reserve all variables

encodingsRelated to encodingsRelated to encodings

Status: Open.

#260 In chrjabs/rustsat;

· chrjabs opened on Feb 3, 2025

Dependency Dashboard

Status: Open.

#210 In chrjabs/rustsat;

· renovate opened on Dec 18, 2024

DPW reserve, skip variables that are not connected

encodingsRelated to encodingsRelated to encodings

Status: Open.

#165 In chrjabs/rustsat;

· chrjabs opened on Oct 28, 2024

Add Python interface to solvers

enhancementNew feature or requestNew feature or request

python-api

solversRelated to solver interfacesRelated to solver interfaces

Status: Open.

#60 In chrjabs/rustsat;

· chrjabs opened on Jan 17, 2024

Get solvers to build under windows

bugSomething isn't workingSomething isn't working

solversRelated to solver interfacesRelated to solver interfaces

Status: Open.

#50 In chrjabs/rustsat;

· chrjabs opened on Jan 8, 2024

Include incremental solver simulator

enhancementNew feature or requestNew feature or request

solversRelated to solver interfacesRelated to solver interfaces

Status: Open.

#15 In chrjabs/rustsat;

· chrjabs opened on Oct 28, 2022

Add sequential counters encoding

encodingsRelated to encodingsRelated to encodings

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In chrjabs/rustsat;

· chrjabs opened on Sep 19, 2022