Code

Rustsat imp#555

Code

Closed

devansh2605 wants to merge 36 commits intoconjure-cp:mainconjure-cp/conjure-oxide:mainfrom Shikhar-Srivastava-16:rustsat_impShikhar-Srivastava-16/conjure-oxide:rustsat_impCopy head branch name to clipboard

+1,014-579

Commits

Commits on Nov 4, 2024

• basic framework

  Shikhar-Srivastava-16

  committed
  136d488

  Copy full SHA for 136d488

Commits on Nov 5, 2024

• added basic functions

  Shikhar-Srivastava-16

  committed
  b44b2fb

  Copy full SHA for b44b2fb

• refactored into separate module

  Shikhar-Srivastava-16

  committed
  5e03ea5

  Copy full SHA for 5e03ea5

• basic functions for populating SatInstance

  Show description for fd58cbf
  Shikhar-Srivastava-16

  committed
  fd58cbf

  Copy full SHA for fd58cbf

• removed kissat lib, not in use

  Shikhar-Srivastava-16

  committed
  1d02783

  Copy full SHA for 1d02783

• changes to Cargo.toml

  Shikhar-Srivastava-16

  committed
  a764a25

  Copy full SHA for a764a25

• changes to building cargo.lock, auto-gen

  Shikhar-Srivastava-16

  committed
  ac6b5c4

  Copy full SHA for ac6b5c4

Commits on Nov 6, 2024

• added solver_instance with trait for solver and updated library script

  Shikhar-Srivastava-16

  committed
  0c662cc

  Copy full SHA for 0c662cc

• removed unused file

  Shikhar-Srivastava-16

  committed
  ae9bc3b

  Copy full SHA for ae9bc3b

• basic structure for solver adaptor, may not function well

  Shikhar-Srivastava-16

  committed
  5f39b3b

  Copy full SHA for 5f39b3b

• more basics, see before

  Shikhar-Srivastava-16

  committed
  faada12

  Copy full SHA for faada12

Commits on Nov 12, 2024

• push for adaptor

  

  Shikhar Srivastava

  committed
  42beb47

  Copy full SHA for 42beb47

Commits on Nov 13, 2024

• Updated the lib.rs and added solver_utils to it

  

  Devansh Chopra

  committed
  1e34041

  Copy full SHA for 1e34041

• Updated main.rs to display the solver result

  

  Devansh Chopra

  committed
  261dd47

  Copy full SHA for 261dd47

• Updated main.rs to display the solver result

  

  Devansh Chopra

  committed
  5fcd6b6

  Copy full SHA for 5fcd6b6

• Updated all sat_rs files by implementing a solver and mapping

  

  Devansh Chopra

  committed
  5194683

  Copy full SHA for 5194683

• minor change to main.rs, temp

  

  Shikhar Srivastava

  committed
  9c6397f

  Copy full SHA for 9c6397f

• Merge branch 'main' of https://github.com/Shikhar-Srivastava-16/conjure-oxide

  

  Shikhar Srivastava

  committed
  d949cdf

  Copy full SHA for d949cdf

• debugging

  

  Shikhar Srivastava

  committed
  e29dcaf

  Copy full SHA for e29dcaf

Commits on Nov 23, 2024

• changes

  

  Shikhar Srivastava

  committed
  ea2ce69

  Copy full SHA for ea2ce69

Commits on Nov 26, 2024

• final functions for model generation (must integrate into load)

  

  Shikhar Srivastava

  committed
  615c76f

  Copy full SHA for 615c76f

• removed kissat.rs file, made relevant changes to other files

  

  Shikhar Srivastava

  committed
  80e780f

  Copy full SHA for 80e780f

Commits on Nov 27, 2024

• function in SolverAdaptor trait called, partial implementation for solve function

  Show description for 6659fdd
  

  Shikhar Srivastava

  committed
  6659fdd

  Copy full SHA for 6659fdd

Commits on Nov 30, 2024

• housekeeping

  

  Shikhar Srivastava

  committed
  b139de3

  Copy full SHA for b139de3

• Implemented the solver and edited the coversion functions as well

  

  Devansh Chopra

  committed
  d806a7e

  Copy full SHA for d806a7e

• Making changes

  

  Devansh Chopra

  committed
  f62e008

  Copy full SHA for f62e008

• housekeeping

  

  Shikhar Srivastava

  committed
  b01b714

  Copy full SHA for b01b714

Commits on Dec 1, 2024

• adaptor changes

  

  Shikhar Srivastava

  committed
  b222638

  Copy full SHA for b222638

• Fixed bugs and implemeneted a solver

  

  Devansh Chopra

  committed
  55d0458

  Copy full SHA for 55d0458

Commits on Dec 11, 2024

• Pushing my semester work by adding Incremental Solving, Optimized Variable Mapping, Improved solve Method(will improve more), improved model handling by updating instantiate_model_from_conjure, cre…

  Show description for 857ea90
  

  Devansh Chopra

  authored and

  Devansh Chopra

  committed
  857ea90

  Copy full SHA for 857ea90

Commits on Dec 12, 2024

• Fixed a few bugs and improved logic for handle_and, handle_or, solve etc

  

  Devansh Chopra

  authored and

  Devansh Chopra

  committed
  a71defc

  Copy full SHA for a71defc

Commits on Dec 13, 2024

• Added panic to handle lit==0

  

  Devansh Chopra

  committed
  f963b5b

  Copy full SHA for f963b5b

• Removed .txt from common.rs

  

  Devansh Chopra

  committed
  0c9a44a

  Copy full SHA for 0c9a44a

• Added tests

  

  Devansh Chopra

  committed
  b5b4421

  Copy full SHA for b5b4421

Commits on Dec 19, 2024

• Changed file name and cleaned up comments

  

  Devansh Chopra

  authored and

  Devansh Chopra

  committed
  13743f9

  Copy full SHA for 13743f9

• Cleaned up some of our previous files

  

  Devansh Chopra

  authored and

  Devansh Chopra

  committed
  6824a6a

  Copy full SHA for 6824a6a