Code

pull request for Sat backend#415

Code

Closed

Shikhar-Srivastava-16 wants to merge 34 commits intoconjure-cp:mainconjure-cp/conjure-oxide:mainfrom Shikhar-Srivastava-16:mainShikhar-Srivastava-16/conjure-oxide:mainCopy head branch name to clipboard

+773-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 16, 2024

• rename + auxiliary file deleted

  Shikhar-Srivastava-16

  committed
  c2b2d32

  Copy full SHA for c2b2d32

Commits on Dec 19, 2024

• rename, unneeded main deleted

  Shikhar-Srivastava-16

  committed
  731921b

  Copy full SHA for 731921b

• rename WIP

  Shikhar-Srivastava-16

  committed
  25162e2

  Copy full SHA for 25162e2

• tests added

  Shikhar-Srivastava-16

  committed
  c9ca602

  Copy full SHA for c9ca602

• Cleaned up some code and removed coments from files I have worked on

  

  Devansh Chopra

  authored and

  Devansh Chopra

  committed
  f20119f

  Copy full SHA for f20119f