prepare for release

.gitignore

@@ -1,3 +1,3 @@
 /target
-/derive/target
-/derive/Cargo.lock
+/proc/target
+/proc/Cargo.lock

Cargo.toml

@@ -5,7 +5,7 @@ version = "0.2.0"
 edition = "2021"
 license = "MIT"
 description = "A multi-objective MaxSAT solver."
-keyworks = ["solver", "multi-objective optimization", "maxsat"]
+keywords = ["solver", "multi-objective", "maxsat"]
 repository = "https://github.com/chrjabs/scuttle"
 readme = "README.md"
 
@@ -21,16 +21,16 @@ concolor-clap = { optional = true, version = "0.1.0" }
 termcolor = { optional = true, version = "1.2.0" }
 atty = { optional = true, version = "0.2.14" }
 signal-hook = { optional = true, version = "0.3.15" }
-scuttle_derive = { path = "./derive" }
+scuttle-proc = { version = "0.1", path = "./proc" }
 
 [build-dependencies]
 rustsat-cadical = { version = "0.1", path = "../rustsat/cadical", features = ["v1-7-1"] }
 
 [features]
 default = ["build-binary", "phasing", "sol-tightening"]
-oracle-term = ["scuttle_derive/oracle-term"]
-phasing = ["scuttle_derive/phasing"]
-sol-tightening = ["scuttle_derive/sol-tightening"]
+oracle-term = ["scuttle-proc/oracle-term"]
+phasing = ["scuttle-proc/phasing"]
+sol-tightening = ["scuttle-proc/sol-tightening"]
 build-binary = [
   "dep:clap",
   "dep:concolor-clap",

derive/Cargo.toml

@@ -1,9 +1,9 @@
 [package]
-name = "scuttle_derive"
+name = "scuttle-proc"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"
-description = "Procedural derive macros for scuttle"
-keyworks = ["solver", "multi-objective optimization", "maxsat"]
+description = "Procedural macros for scuttle. These macros are not intended to be used outside of scuttle."
+keywords = ["solver", "multi-objective optimization", "maxsat"]
 repository = "https://github.com/chrjabs/scuttle"
 version = "0.1.0"
 edition = "2021"

proc/Cargo.toml

@@ -0,0 +1,24 @@
+[package]
+name = "scuttle-proc"
+authors = ["Christoph Jabs <[email protected]>"]
+license = "MIT"
+description = "Procedural macros for scuttle. This crate is not intended to be used outside of scuttle."
+keywords = ["solver", "multi-objective", "maxsat"]
+repository = "https://github.com/chrjabs/scuttle"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[lib]
+proc-macro = true
+
+[dependencies]
+syn = "2.0"
+quote = "1.0"
+darling = "0.20"
+
+[features]
+oracle-term = []
+phasing = []
+sol-tightening = []

src/solver.rs

@@ -8,7 +8,7 @@ use rustsat::{
     solvers::{ControlSignal, SolveIncremental, SolverResult},
     types::{Assignment, Clause, Lit, LitIter, RsHashMap, TernaryVal, Var, WLitIter},
 };
-use scuttle_derive::oracle_bounds;
+use scuttle_proc::oracle_bounds;
 
 use crate::{
     options::EnumOptions,

src/solver/lowerbounding.rs

@@ -14,7 +14,7 @@ use rustsat::{
     solvers::{ControlSignal, SolveIncremental, SolveStats, SolverResult, SolverStats},
     types::{Assignment, Clause, Lit},
 };
-use scuttle_derive::{oracle_bounds, KernelFunctions, Solve};
+use scuttle_proc::{oracle_bounds, KernelFunctions, Solve};
 
 use crate::{
     types::ParetoFront, EncodingStats, ExtendedSolveStats, KernelFunctions, Limits, Options, Phase,

src/solver/pminimal.rs

@@ -27,7 +27,7 @@ use rustsat::{
     solvers::{ControlSignal, SolveIncremental, SolveStats, SolverResult, SolverStats},
     types::{Assignment, Clause},
 };
-use scuttle_derive::{oracle_bounds, KernelFunctions, Solve};
+use scuttle_proc::{oracle_bounds, KernelFunctions, Solve};
 
 use super::{default_blocking_clause, Objective, SolverKernel};