ArgSemSAT - Browse /ArgSemSAT-1.0rc2 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README	2015-05-27	481 Bytes	0
ArgSemSAT_1.0rc2.zip	2015-05-27	3.5 MB	0
Totals: 2 Items		3.5 MB	0

AUTHORS:

Federico Cerutti, f.cerutti@abdn.ac.uk 
Mauro Vallati, m.vallati@hud.ac.uk
Massimiliano Giacomin, massimiliano.giacomin@unibs.it

*****
INSTRUCTIONS 
*****

for compiling the system:

./build

for running the system, see the probo interfaces. For example:

./ArgSemSAT -f $inputfile -p EE-PR -fo apx

---

please, keep both executables (satsolver and ArgSemSAT) in the same directory when executing the solver.


---

for the full list of parameters:

./ArgSemSAT --help

Source: README, updated 2015-05-27

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Automate contact and company data extraction

Build lead generation pipelines that pull emails, phone numbers, and company details from directories, maps, social platforms. Full API access.

Generate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.

Explore Apify Store

Recommended Projects

LASAD
LASAD is a research based cooperative online argumentation system
AFS Tool Suite
NOW HOSTED AT GITHUB https://github.com/jblaine/AFS-Tool-Suite ---- CODE HERE IS OLD ---- AFS Tool Suite is a set of scripts (mostly system administration), Python library functions and classes for dealing with an AFS cell and capturing data returned
hyprplus (mirror)
Mirror of https://github.com/imchocomint/hyprplus
Stardate System Tray
Star Trek™ stardate in your Windows™ system tray!
Control Group Configuration
https://github.com/libcgroup/libcgroup

ArgSemSAT Files

Solving argumentation problems in Dung's AFs

ArgSemSAT Files

Solving argumentation problems in Dung's AFs

Get an email when there's a new version of ArgSemSAT